php/archived-web-master
1
0
Fork 0
mirror of https://github.com/php/web-master.git synced 2026-03-24 07:42:20 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
remove-github-managing-tool
archived-web-master/public
History
Derick Rethans 590f92bb34 Remove the GitHub repository management tool 
This tool is no longer in use, and it is also not working.
2026-01-20 11:41:44 +00:00
..
entry
Handle the -noemail version of lists, too (#28)
2024-09-19 16:28:14 -07:00
fetch
Migrate mysql_* API
2022-07-18 22:25:22 +02:00
images
Move to public/ directory
2021-04-07 12:12:02 +02:00
mail
Move to public/ directory
2021-04-07 12:12:02 +02:00
manage
Remove the GitHub repository management tool
2026-01-20 11:41:44 +00:00
network/status
Update *.php.net URLs to HTTPS (#9)
2021-04-07 18:38:16 -07:00
favicon.ico
Move to public/ directory
2021-04-07 12:12:02 +02:00
forgot.php
Send forgot-password link to real email, instead of PHP provided one
2023-08-30 17:26:38 +01:00
github-webhook.php
Ignore more GH webhook events (#31)
2025-02-05 12:52:40 +01:00
index.php
Update *.php.net URLs to HTTPS (#9)
2021-04-07 18:38:16 -07:00
login.php
Update *.php.net URLs to HTTPS (#9)
2021-04-07 18:38:16 -07:00
robots.txt
Move to public/ directory
2021-04-07 12:12:02 +02:00