private function checkCompilation($file) { $res = shell_exec($_SERVER['_'] . ' -l ' . $file . ' 2>&1'); //@todo : differentiate fatal error and non-fatal ones. return substr($res, 0, 28) == 'No syntax errors detected in'; }