From 04d6b4a0df232a814116b07b61699cbffefc2986 Mon Sep 17 00:00:00 2001 From: Antoine Musso Date: Mon, 23 Jan 2012 16:08:38 +0000 Subject: [PATCH] update wgUsersNotifiedOnAllChanges doc (r109826) --- includes/DefaultSettings.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 3b38281910..7cd5cc82ae 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -1188,7 +1188,7 @@ $wgEnotifUseRealName = false; /** * Array of usernames who will be sent a notification email for every change - * which occurs on a wiki. + * which occurs on a wiki. Users will not be notified of their own changes. */ $wgUsersNotifiedOnAllChanges = array(); -- 2.20.1