wikimedia/mediawiki-extensions-LoginNotify
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify synced 2024-11-15 03:04:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-LoginN.../maintenance
History
Max Semenik c211fc1875 Use getBatchSize() instead of direct field access 
Change-Id: Ie11dd951b8be4ffe8bc982c6ef64482352e3ca38
2017-11-08 06:54:20 +00:00
..
migratePreferences.php Use getBatchSize() instead of direct field access 2017-11-08 06:54:20 +00:00