Did you mean (for php-src):arginfo_die
Your search defs:arginfo_time did not match any files. Suggestions:
Completed in 4 milliseconds