Réponses:
Allez dans Paramètres | Types de fichiers et assurez-vous que ce nom de fichier particulier n'est PAS attribué à un type de fichier non PHP, c'est-à-dire Texte brut.
Dans PHPStorm 10, vous devez aller dans Fichier-> Paramètres et une fois là-bas Éditeur-> Type de fichier. S'il s'agit de texte brut, vous le trouverez probablement sur le type de fichier "Texte". Vérifiez sous "modèles enregistrés" et supprimez votre fichier à partir de là.
Merci à @Scotty Wagoner
Pour une raison quelconque, le nom de fichier entier a été ajouté au type de fichier texte.
Recherchez votre fichier dans Paramètres | Types de fichiers | Texte | Modèles enregistrés et supprimez-le.
Je ne sais pas si cette fonction est limitée uniquement à phpStorm 9, mais il existe une solution plus simple: si l'extension d'un fichier est .php, vous pouvez faire un clic droit sur le fichier dans le menu de navigation du projet et cliquer sur "marquer comme php". Cela a résolu le problème pour moi.
Le moyen le plus simple de résoudre ce problème est d'aller File > Settings
sur Windows (ou PHPStorm > Preferences
sur MacOS), puis de rechercher «TYPES DE FICHIERS».
Faites défiler jusqu'au type de fichier gênant (dans ce cas PHP).
Recherchez ensuite l'extension de fichier attendue (dans ce cas .php).
Si vous voyez qu'il manque (comme ci-dessus), ajoutez-le simplement en appuyant sur le bouton + sous "Modèles enregistrés". Ensuite, dans la fenêtre "Ajouter un caractère générique" qui s'ouvre, vous tapez:*.php
PHPStorm vous dira alors qu'il est mappé sur un autre type de fichier (celui qui a causé ce problème), et souhaitez-vous le déplacer vers celui-ci à la place. Cliquez simplement sur "Oui" et tout résoudra. Vous avez terminé!
C'est beaucoup plus facile que de parcourir les autres types de fichiers pour en supprimer un.
Dans PHPStorm 2019.1 sur MacOS:
PhpStorm > Preferences > Editor > File Types > Recognized File Types > Text
Supprimez l'entrée à partir de Registered Patterns
laquelle contient votre nom de fichier, c'est-à-dire supprimez File.php
si File.php
le fichier problématique.