Fix $a to #this in save_timestamp

diff --git a/boot.php b/boot.php
index 0c25dfef3d0ff124bc10053d5a5443c5aec3573c..e49ffbd221e0f346ddf2319bfe9446c725b5c509 100644 (file)
--- a/boot.php
+++ b/boot.php
@@ -1100,7 +1100,7 @@ class App {
        }
 
        function save_timestamp($stamp, $value) {
-               if (!isset($a->config['system']['profiler']) || !$a->config['system']['profiler'])
+               if (!isset($this->config['system']['profiler']) || !$this->config['system']['profiler'])
                        return;
 
                $duration = (float)(microtime(true)-$stamp);