Completed
Push — master ( be024e...48e786 )
by Sérgio
02:43
created
src/getin.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -17,7 +17,7 @@
 block discarded – undo
17 17
 {
18 18
     $args = func_get_args();
19 19
 
20
-    $getin = function (array $xs, array $ks, $notfound = false) {
20
+    $getin = function(array $xs, array $ks, $notfound = false) {
21 21
         if (false === isset($ks[0])) {
22 22
             return $xs;
23 23
         }
Please login to merge, or discard this patch.
src/get.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -15,7 +15,7 @@
 block discarded – undo
15 15
 {
16 16
     $args = func_get_args();
17 17
 
18
-    $get = function (array $xs, $x, $notfound = false) {
18
+    $get = function(array $xs, $x, $notfound = false) {
19 19
         if (isset($xs[$x])) {
20 20
             return $xs[$x];
21 21
         }
Please login to merge, or discard this patch.
src/has.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -11,7 +11,7 @@
 block discarded – undo
11 11
 {
12 12
     $args = func_get_args();
13 13
 
14
-    $has = function ($x, array $xs) {
14
+    $has = function($x, array $xs) {
15 15
         return array_key_exists($x, $xs);
16 16
     };
17 17
 
Please login to merge, or discard this patch.
src/head.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -11,7 +11,7 @@
 block discarded – undo
11 11
 {
12 12
     $args = func_get_args();
13 13
 
14
-    $head = function ($xs) {
14
+    $head = function($xs) {
15 15
         if ([] === $xs
16 16
             || '' === $xs
17 17
             || null === $xs
Please login to merge, or discard this patch.
src/tail.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -11,7 +11,7 @@
 block discarded – undo
11 11
 {
12 12
     $args = func_get_args();
13 13
 
14
-    $tail = function (array $xs) {
14
+    $tail = function(array $xs) {
15 15
         return array_slice($xs, 1);
16 16
     };
17 17
 
Please login to merge, or discard this patch.