[PHP-WEBMASTER] [web-downloads] force pushed branch main

Force pushed branch main in repository web-downloads.

Pusher: shivammathur
Before: Fix copying in php command · php/web-downloads@5a9a882 · GitHub
After: Fix copying in php command · php/web-downloads@4fc1947 · GitHub
Compare: Comparing 5a9a882598b5...4fc1947e57d6 · php/web-downloads · GitHub
Tree: GitHub - php/web-downloads: The repository that contains the downloads.php.net website

Commit mails will not be sent for force-pushed commits!