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
TechieNK bc85753b87 Fix documentation problem 
Change-Id: I5015da83b84b89cd965d97f418a31b0e6116abd3
2023-09-21 20:58:30 +05:30
..
Hooks Fix documentation problem 2023-09-21 20:58:30 +05:30
AdminLinksHooks.php Use HookHandlers for AdminLinks hooks 2023-08-15 17:18:02 +02:00
HookHelper.php Fix documentation problem 2023-09-21 20:58:30 +05:30
Hooks.php Use namespaced Title 2023-08-19 20:18:31 +02:00
Job.php Use namespaced Title 2023-08-19 20:18:31 +02:00
Search.php Add Page number limit option 2023-09-20 23:52:46 +05:30
SpecialReplaceText.php Add Page number limit option 2023-09-20 23:52:46 +05:30