wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-20 18:13:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
912 commits 26 branches 21 tags 11 MiB
Commit graph

2 commits

Author SHA1 Message Date
Cindy Cicalese a027ec972c Fix path to maintenance directory. 
Change-Id: Ife7a7076ee87938cadb84aa56982cc667bd90e2f
(cherry picked from commit f7b59db9b3)
 2018-05-16 15:05:42 +00:00
Kunal Mehta 2a6070ab82 Move replaceAll.php into maintenance/ 
And fix an issue that phan found.

Change-Id: I91cb562ac674b02bb84c6c1da4236810f6a3aa3c
(cherry picked from commit 2beae377e7)
 2018-05-07 01:29:30 +00:00