[#207] Enabling PHP code highlighting.