php_date_modify  3075 ext/date/php_date.c 	if (!php_date_modify(object, modify, modify_len)) {
php_date_modify  3097 ext/date/php_date.c 	if (!php_date_modify(&new_object, modify, modify_len)) {