wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/maintenance
History
Reedy adffeae19d Move maintenance scripts to maintenance directory 
Left fixme comment

Change-Id: I30207558d21bb73c6caa6dd722016bc51b257395
2013-04-22 22:52:21 +01:00
..
processEchoEmailBatch.php Move maintenance scripts to maintenance directory 2013-04-22 22:52:21 +01:00
removeInvalidNotification.php Merge "Let maintenance script wait for slaves on the correct cluster" 2013-04-11 17:57:34 +00:00
testDiscussionParser.php Move maintenance scripts to maintenance directory 2013-04-22 22:52:21 +01:00