Some notes on php debug