Trying to get php highlighting to work