Merge "Remove $wgRUstart, unused"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 16 Apr 2015 23:24:20 +0000 (23:24 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 16 Apr 2015 23:24:20 +0000 (23:24 +0000)
commit941b7a5c6071bb44fc6df379900c0c6ddf0541e6
tree23e70ce83a1d6ea5ccaa9af469603ec0e2863f61
parent0a62e0d9b85a3f6758a4acd1861393d146a6a856
parent4b619eb7bd3e1946089fc1ee12b2aa03f03d1d57
Merge "Remove $wgRUstart, unused"