Pull Request: https://github.com/php/web-php/pull/631 Author: localheinz
This pull request - [x] removes an apparently unused script Follows https://github.com/php/web-php/issues/579#issuecomment-1168732201. -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php