Merge "Restore non-mangled anchors in API help in all cases"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 16 Aug 2017 23:03:41 +0000 (23:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 Aug 2017 23:03:41 +0000 (23:03 +0000)
commitd704f6d7f70338f95a7bf6db046612f0822f98e6
tree02bc03e3395971e85d725d2f2c238ac386948111
parent28d6cc1bcddcc718d93f5c0623f8c05dbb95e487
parent7e92dc49f2407a56670a47f248b0aa209e456483
Merge "Restore non-mangled anchors in API help in all cases"