wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 03:35:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
jenkins-bot 9a065b82ee Merge "build: Load ConfirmEdit as phan dependency"
2021-12-13 09:48:13 +00:00
..
Hooks.php Merge "build: Load ConfirmEdit as phan dependency" 2021-12-13 09:48:13 +00:00