1. dans modules/theme/setup, créer un nouveau fichier html5.xml sur la base de init.xml

2. contenu du fichier (pour l’ajout d’un doctype HTML5) :

3. ajouter ceci dans modules/theme/persistentdocument/pagetemplate.class.php :

4. puis sous Putty :