Fix in case php-file-patterns not defined in new php-mode versions.