mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify
synced 2024-12-18 09:41:04 +00:00
160368a296
Changes to the use statements done automatically via script Addition of missing use statement done manually Change-Id: I8943e4e63fb41ca758c9ed25a4abb7664e13bb9f |
||
---|---|---|
.. | ||
loginAttempt.php | ||
migratePreferences.php | ||
purgeSeen.php |