Update editor.php

Ajout de la coloration syntaxique automatique du fichier