Merge "Improve documentation of $wgReferrerPolicy"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 24 Dec 2017 22:56:00 +0000 (22:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 24 Dec 2017 22:56:01 +0000 (22:56 +0000)
commitceb5ba97db26867bc30eae409997d0330a987ecd
tree30276db41c7bfc73ad391e789eacc0de35b6a39b
parente440dc9385cbed23ab7148932b925a1bf8e78785
parent8adb581a6af0c3c39c60642885e7b58df56e7866
Merge "Improve documentation of $wgReferrerPolicy"
includes/DefaultSettings.php