Merge "Allow skins to control style of mediawiki.hlist"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 12 Jun 2017 18:10:16 +0000 (18:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 12 Jun 2017 18:10:16 +0000 (18:10 +0000)
commit9c9ea2491da70725c7c5120cd2cbb18e468cf73d
treef190f9ec31780d4eed9b39b9b87e85c22326bdfa
parent4962df4c3f0680316e725e57df05be62bd52c7aa
parentd31fa9cfa765ac833cd58565fd4bc25b947996fb
Merge "Allow skins to control style of mediawiki.hlist"
resources/Resources.php