testing bug in php