Rename the HTML highlighting bundle.
Add a PHP (and HTML+PHP) highlighting plugin.