Create pygments_for_php.inc.php