[web-php] PR #631: Fix: Remove apparently unused script
| From: | localheinz | Date: | Sat, 09 Jul 2022 12:28:09 +0000 |
| Subject: | [web-php] PR #631: Fix: Remove apparently unused script | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-30319@lists.php.net to get a copy of this message | ||
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.