Merge "Migrate redirectToFragment() from wikibits.js to own module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Jan 2014 21:16:14 +0000 (21:16 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Jan 2014 21:16:14 +0000 (21:16 +0000)
commitd5740e4bfc4c20f3e7a770cdc71a2f3ee0cd5f51
tree880757894af07b1403f03da1f97af034bf4c986f
parentd2d519f48295ca7b113f86637f4e4479d833e95f
parent7bca293dfd66cc6eca919d5d3d98940388745c1b
Merge "Migrate redirectToFragment() from wikibits.js to own module"
includes/Article.php
resources/Resources.php