require('inc/libs/security_functions.php');
// Init start time
-$GLOBALS['__start_time'] = microtime(true);
+$GLOBALS['__start_time'] = microtime(TRUE);
// Set module
$GLOBALS['__module'] = 'admin';
// Set content type for e.g. search engines
setContentType('text/html');
-// Is the admin logged-in and no sql_patches installed?
+// Is the admin logged-in and no ext-sql_patches installed?
if ((isAdmin()) && (!isExtensionActive('sql_patches'))) {
// Extension 'sql_patches' is missing!
redirectToUrl('modules.php?module=admin&sql_patches=1');