php: Fix code highlight