associate *.html5 with php syntax (e.g. contao)