wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-11-15 02:53:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Replac.../maintenance
History
Umherirrender 750738cc23 Avoid deprecated param on Maintenance::error 
Use Maintenance::fatalError instead

Change-Id: I76cbaf355462a41aec40d239577123de6b04223a
2019-12-28 19:37:40 +01:00
..
replaceAll.php Avoid deprecated param on Maintenance::error 2019-12-28 19:37:40 +01:00