wikimedia/mediawiki-extensions-LoginNotify
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify synced 2024-11-24 15:04:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-LoginN.../maintenance
History
Huji Lee dc821dbb1e Use the proper way to override the User-Agent header of a request 
This builds on I01221923387a9e94499efdda39b2e40ee207e27c

Bug: T183722
Change-Id: I7676f0882620eb99ac756bc29bd8b3ef2e2a4f7a
2018-02-03 20:15:10 -05:00
..
loginAttempt.php Use the proper way to override the User-Agent header of a request 2018-02-03 20:15:10 -05:00
migratePreferences.php Use getBatchSize() instead of direct field access 2017-11-08 06:54:20 +00:00