wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 10:59:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
753 commits 26 branches 21 tags 10 MiB
Commit graph

2 commits

Author SHA1 Message Date
yaron ecd19ebd2c Fixed inclusion of Maintenance.php 
Change-Id: I712a4be0972313da7ddc862a73d8df9f01ede8fa
 2015-04-30 18:53:45 +04:00
Mark A. Hershberger 133982dc59 Create CLI utility for ReplaceText jobs 
This creates a new class (ReplaceTextSearch) to move the logic from
the special page so that it is available for CLI access.  Also creates
replace.php which can be used for search-replace tasks that need to be
automated.

Change-Id: I8ccec61f570f33043d8a8d00c52b40acd9d6894a
 2015-04-20 14:02:28 -04:00