Made the following improvements to the PHP builtins script:
* Switched to a different URL as the old URL is now dead. * One larger file is downloaded instead of thousands of smaller files. * ~200 files are scanned instead of thousands of files. * Removed invalid functions like 'main' and 'delete'. * Added ~300 missing functions.