PHP: Adding JSON extension methods to syntax highlighting