Completed
Push — master ( 7c37a7...99527b )
by Oleg
03:04
created
micro/Micro.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -235,7 +235,7 @@
 block discarded – undo
235 235
         if (!$this->loaded) {
236 236
             $this->initializeContainer();
237 237
 
238
-            $this->addListener('kernel.kill', function (array $params) {
238
+            $this->addListener('kernel.kill', function(array $params) {
239 239
                 if ($params['container']->kernel->isDebug() && !$params['container']->request->isCli()) {
240 240
                     // Add timer into page
241 241
                     echo '<div class=debug_timer>', (microtime(true) - $params['container']->kernel->getStartTime()), '</div>';
Please login to merge, or discard this patch.