update php5-debug.txt
update php5-dbg