Merge "mediawiki.special.preferences: Allow linking to subsections"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 16 Sep 2017 16:27:56 +0000 (16:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 16 Sep 2017 16:27:56 +0000 (16:27 +0000)
commit65d93f99568ae14aeb8c52700691e45035a0ae7a
treedaa9919d31c1fd6f092cffe19dd927509bee6c9d
parent12911d6ce690c2770b3e287c7626f870e8496a85
parent5fe2e19ac33335458b658388a34f48bde63c1787
Merge "mediawiki.special.preferences: Allow linking to subsections"