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

Reply via email to