@@ -19,10 +19,10 @@ |
||
19 | 19 | |
20 | 20 | $pivot = head($xss); |
21 | 21 | $xs = tail($xss); |
22 | - $left = array_filter($xs, function ($x) use ($pivot) { |
|
22 | + $left = array_filter($xs, function($x) use ($pivot) { |
|
23 | 23 | return $x < $pivot; |
24 | 24 | }); |
25 | - $right = array_filter($xs, function ($x) use ($pivot) { |
|
25 | + $right = array_filter($xs, function($x) use ($pivot) { |
|
26 | 26 | return $x > $pivot; |
27 | 27 | }); |
28 | 28 |