Completed
Push — master ( 10bfd4...50e80c )
by Mark
13s queued 11s
created
src/Doc.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -32,7 +32,7 @@  discard block
 block discarded – undo
32 32
 
33 33
     public function setOptions(array $options): self
34 34
     {
35
-        $mapper = function (string $content): array {
35
+        $mapper = function(string $content): array {
36 36
             $content = trim($content);
37 37
             if ('-' !== ($content[0] ?? '')) {
38 38
                 $content = '-'.$content;
@@ -41,7 +41,7 @@  discard block
 block discarded – undo
41 41
             return explode(' ', $content, 2);
42 42
         };
43 43
 
44
-        $reducer = function (array $carry, array $option): array {
44
+        $reducer = function(array $carry, array $option): array {
45 45
             return array_merge($carry, $option);
46 46
         };
47 47
 
Please login to merge, or discard this patch.