wikimedia/mediawiki-extensions-LoginNotify
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/LoginNotify synced 2024-11-28 08:50:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
387 commits 11 branches 12 tags 7.6 MiB
Commit graph

2 commits

Author SHA1 Message Date
Aaron Schulz 93b9ab17aa Use IDatabase for type hints rather than Database 
Change-Id: Iafd392f7b33a4cec6013633a520059ba3858a2fe
 2019-04-07 19:44:40 +00:00
Kunal Mehta c5d999a10d Upgrade to newer phan 
Bug: T216926
Change-Id: Iadebf5698e8c15db0d0009bd66f55c3b534a192f
 2019-03-17 16:17:46 -07:00