More hilighting, debugging stuff for PHP