Debugger optimizations

This commit is contained in:
Matias Griese
2018-10-16 13:12:26 +03:00
parent f43ab0ed59
commit eb97964a00
6 changed files with 51 additions and 21 deletions

View File

@@ -9,6 +9,7 @@
namespace Grav;
\define('GRAV_REQUEST_TIME', microtime(true));
\define('GRAV_PHP_MIN', '7.1.3');
if (version_compare($ver = PHP_VERSION, $req = GRAV_PHP_MIN, '<')) {