Tim Starling wrote:
To run command line scripts on Wikimedia wikis, we use a special hack in commandLine.inc which allows you to select the database name on the command line. This hack is committed, but probably won't work for anyone else.
On my local tests I do this with a hack in my LocalSettings.php. We should probably generalize the configuration so this works reliably instead.
-- brion vibber (brion @ wikimedia.org)