Tweak PHP settings

Fixed php settings so that code highlighting works without enclosing
<?php tags.