if you don't get highlighting in the sphinx docs, you are doing something wrong. Make sure your default domain is correctly set to PHP.