Tidy up PHP debugging