Allow server selection when running sql.php
authorAaron Schulz <aschulz@wikimedia.org>
Tue, 21 May 2013 19:50:11 +0000 (12:50 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Thu, 23 May 2013 06:08:35 +0000 (23:08 -0700)
commitd2254ba11c40321e09d0616d638e83ed6385f0db
tree6d34c4b12045a4e6b5ecfa22d00c19bca631621c
parent602b89caf544a999251ec4bbe27c0fc11ec2b1b8
Allow server selection when running sql.php

Change-Id: I2a643eb3a517eba09b80da19158e0957441bcaa5
maintenance/sql.php