$uri) { define('StartTime', microtime(true)); define('TIMESTAMP', time()); $lreq = new local_request($uri); init_localreq($lreq); $file = $lreq->script_file(); if(is_file($file)) { include $file; } else { echo 'no such file'; } }