public function getFilename() { /* * Useful so fixers depending on PHP-only files still work. * * The idea to use STDIN is to parse PHP-only files, so we can * assume that there will be always a PHP file out there. */ return 'stdin.php'; }