add missing php highlight