diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-18 06:04:58 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-18 06:04:58 +0100 |
| commit | 257401d8b2cf661adf36c84b0e3fd1cf85e33c22 (patch) | |
| tree | f8c25e7fa0c2ba18f27c52415c19cb579a316178 /includes/DefaultSettings.php | |
| parent | a1789ddde42033f1b05cc4929491214ee6e79383 (diff) | |
Update to MediaWiki 1.26.1
Diffstat (limited to 'includes/DefaultSettings.php')
| -rw-r--r-- | includes/DefaultSettings.php | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index 268a8d19..919d05b8 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -75,7 +75,7 @@ $wgConfigRegistry = array( * MediaWiki version number * @since 1.2 */ -$wgVersion = '1.26.0'; +$wgVersion = '1.26.1'; /** * Name of the site. It must be changed in LocalSettings.php @@ -4680,6 +4680,12 @@ $wgWhitelistReadRegexp = false; $wgEmailConfirmToEdit = false; /** + * Should MediaWiki attempt to protect user's privacy when doing redirects? + * Keep this true if access counts to articles are made public. + */ +$wgHideIdentifiableRedirects = true; + +/** * Permission keys given to users in each group. * * This is an array where the keys are all groups and each value is an |