get php highlighting to work