update php5-debug.txt