mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
6157c1e7bb
Like CentralAuth does in createLocalAccount.php. In large wiki clusters where you want Echo on for some wikis and not others, but don't want to keep a list of Echo wikis (say, you want to make it on by default), this makes it possible to safely run the script even on wikis where Echo is not enabled, where it will just do nothing. See also Ibde4c0c1, I741d2485 Bug: T59375 Change-Id: I3537206fccb459eb80de9fd61d2213dfb525c5f0 |
||
---|---|---|
.. | ||
processEchoEmailBatch.php | ||
removeInvalidNotification.php | ||
removeInvalidTargetPage.php | ||
testDiscussionParser.php | ||
updateEchoSchemaForSuppression.php |