Merge "Use ResourceLoader::makeComment to embed page title in wiki modules"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 Apr 2014 14:36:11 +0000 (14:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 Apr 2014 14:36:11 +0000 (14:36 +0000)
commit63ba8bca85ccb953fccfc5cb54c68df83793654d
tree827269134323f9f6feb1d760358e42435c243758
parentf9a88733ee9d4987b375147001ec6f9895748407
parent4bfe8ff81f027ad11ab8277c94648c92310b3233
Merge "Use ResourceLoader::makeComment to embed page title in wiki modules"