Merge "Move VectorBeta modules to VectorBeta extension"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 20 Dec 2013 23:03:13 +0000 (23:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 20 Dec 2013 23:03:13 +0000 (23:03 +0000)
commitb99630a9cc7e6cf171203fc6ae4f44d42ddfb361
treec1b740fbebb521f12d6522c7d44b619ed128cc29
parent2924ade7eb6532ccdbceda02da99aed88ed98957
parent1d5ec4a6a130cb4e291741a3b32d155ee9932a76
Merge "Move VectorBeta modules to VectorBeta extension"
includes/DefaultSettings.php
resources/Resources.php