wikimedia/mediawiki-extensions-Thanks
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Thanks synced 2024-11-15 02:54:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Changing default for email per specs"

Browse source
This commit is contained in:
jenkins-bot 2013-04-25 18:23:11 +00:00 committed by Gerrit Code Review
parent ca9b1ab628 3f3d484305
commit 8693ae6c08
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Thanks.php
View file

@ -97,4 +97,4 @@ $wgRateLimits += array(
// Set default user options // Set default user options
$wgDefaultUserOptions['echo-subscriptions-web-edit-thank'] = true; $wgDefaultUserOptions['echo-subscriptions-web-edit-thank'] = true;
$wgDefaultUserOptions['echo-subscriptions-email-edit-thank'] = true; $wgDefaultUserOptions['echo-subscriptions-email-edit-thank'] = false;