Merge "Allow server selection when running sql.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 7 Jun 2013 18:28:12 +0000 (18:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 7 Jun 2013 18:28:12 +0000 (18:28 +0000)
commit09b303ec62520db081725a7256fbff57511529f2
treee2e1f6c8f83298559a9aab74c895c30231dc6498
parent54525ec00c1b95ccf077ebd54d30fc9c2c5c8d0c
parentd2254ba11c40321e09d0616d638e83ed6385f0db
Merge "Allow server selection when running sql.php"