*/
public static function isSupported()
{
- return extension_loaded('runkit');
+ return \extension_loaded('runkit');
}
/**
*/
private function reload(Shell $shell)
{
- clearstatcache();
+ \clearstatcache();
$modified = [];
- foreach (get_included_files() as $file) {
- $timestamp = filemtime($file);
+ foreach (\get_included_files() as $file) {
+ $timestamp = \filemtime($file);
if (!isset($this->timestamps[$file])) {
$this->timestamps[$file] = $timestamp;
}
if (!$this->lintFile($file)) {
- $msg = sprintf('Modified file "%s" could not be reloaded', $file);
+ $msg = \sprintf('Modified file "%s" could not be reloaded', $file);
$shell->writeException(new ParseErrorException($msg));
continue;
}
{
// first try to parse it
try {
- $this->parser->parse(file_get_contents($file));
+ $this->parser->parse(\file_get_contents($file));
} catch (\Exception $e) {
return false;
}