wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-27 17:00:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
gerritbot 2da869fa58 Replace some moved Title class uses, now MediaWiki\Title\Title 
Bug: T321681
Change-Id: Ia3b739ceacc035d64ec6d13de9d3e6de102dbb20
2023-08-19 12:22:49 +00:00
..
PopupsContext.php Replace some moved Title class uses, now MediaWiki\Title\Title 2023-08-19 12:22:49 +00:00
PopupsGadgetsIntegration.php Use namespaced GadgetRepo 2022-03-06 01:33:08 +00:00
PopupsHooks.php Update popups to use codex buttons over mediawiki.ui.buttons 2023-07-10 16:03:36 -05:00
ServiceWiring.php Inject service SpecialPageFactory 2022-11-05 09:28:08 +00:00