Moved .html file extensions to the PHP lexer since it contains more colour themes