extractor.php: fix php extraction for PHP files.