wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-23 22:33:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../maintenance
History
Abijeet 986b51e5a2 Add ReplaceTextFilterPageTitlesForRename hook to avoid pages to rename 
Allows other extensions to specify pages that should not be renamed.

Bug: T313148
Change-Id: I47b4549b90fe30be7a80e74db60d16be6776e7f6
2023-06-15 13:13:30 +00:00
..
replaceAll.php Add ReplaceTextFilterPageTitlesForRename hook to avoid pages to rename 2023-06-15 13:13:30 +00:00