*) update php_utils