Dans ce tutoriel nous allons apprendre comment modifier l’extension d’un fichier (exemple index.txt a index.php)
1-Afficher l'extension :
Ouvrez un fichier (n’importe quel fichier)
Sur la barre de menu cliquez sur « Outil » puis sur « Option des dossier »
Vous allez voire apparaitre une fenêtre, cliquez sur l’angle « Affichage » puis décochez la case (Masquer les extensions des fichiers dont le type est connu)

2-Changer l'extension
Allez au dossier qui contient votre fichier, cliquez sur votre fichier puis cliquez sur la touche "F2" du clavier et renomez l'extention de votre fichier
Note: a la fin le mieux et de recocher la case pour masquer les extensions


Réponse rapide