Added php 5.3 syntax highlighting