Just testing how PHP highlighting works