wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-12-18 09:41:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
682 commits 13 branches 25 tags 13 MiB
Commit graph

2 commits

Author SHA1 Message Date
Kunal Mehta 6deecac4c2 Add phan configuration 
Change-Id: I220a6da9d506a754d4e502bd4bd3178949b73f5f
 2018-02-24 13:57:36 -08:00
Kunal Mehta 431f955a81 Move classes to includes/ 
Change-Id: Ia65adfc9d9d6a117d8d4fc711e97414328b42440
 2018-02-24 13:57:32 -08:00
Renamed from InputBox.hooks.php (Browse further)