Completed
Push — master ( 7447cd...1db74c )
by Luis
03:32 queued 01:30
created
widget/OpenLayers.php 1 patch
Spacing   +2 added lines, -2 removed lines patch added patch discarded remove patch
@@ -99,9 +99,9 @@
 block discarded – undo
99 99
 				if (is_string($options)) {
100 100
                     $options = ['source' => new OL("source.$options")];
101 101
                 }
102
-				$processedLayers []= new OL("layer.$type", $options);
102
+				$processedLayers [] = new OL("layer.$type", $options);
103 103
 			} else { // Therefore $type is simply an integer array key
104
-                $processedLayers []= $options;
104
+                $processedLayers [] = $options;
105 105
             }
106 106
 		}
107 107
 		$this->mapOptions['layers'] = $processedLayers;
Please login to merge, or discard this patch.