Merge "mediawiki.toc: Simplify ternary operator"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Aug 2016 14:51:20 +0000 (14:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Aug 2016 14:51:20 +0000 (14:51 +0000)
commitae154e80b3c0f69900a4d96a9d59e9086566329f
treeae433e4ad1742549d1de85be67b8a72b30573f13
parent2bc631d261451491534f373791420c454760af5c
parent24a3e4b1093219d013be9e9785d4671046c411f3
Merge "mediawiki.toc: Simplify ternary operator"