wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-27 16:10:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../src
History
Umherirrender 3e8f5e7142 Use new namespace for MediaWiki\Revision\SlotRecord 
MediaWiki\Storage is alias since 1.35

Change-Id: I81f4f238282a11fba47fe0d49566c68ac47dffc5
2022-02-26 22:16:25 +01:00
..
Hooks.php Move to MW\Extension namespace 2021-04-09 13:12:48 -04:00
Job.php Mark edits as patrolled by default if user has permission 2022-02-22 00:50:15 +00:00
Search.php Add support for slots other than 'main' 2021-11-24 15:40:11 +01:00
SpecialReplaceText.php Use new namespace for MediaWiki\Revision\SlotRecord 2022-02-26 22:16:25 +01:00