Made the following improvements to the PHP builtins script:
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.

sol/pygments,sol/pygments,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,sol/pygments,sol/pygments,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments