Port mwrepl to MediaWiki-Vagrant
Closed, ResolvedPublic

Description

Production has mwrepl, which allows accessing any wiki:

mwrepl
mwrepl zhwiki

hhvmsh is similar, but doesn't have the ability to specify the wiki.

For QAing this, you can run (separately):

hhvmsh
mwrepl
mwrepl frwiki

and in each do:

echo $wgDBname;

Related Objects

Restricted Application added subscribers: StudiesWorld, Aklapper. · View Herald TranscriptFeb 22 2016, 9:56 PM

Change 280599 had a related patch set uploaded (by Mattflaschen):
Fix hhvmsh by porting mwrepl

https://gerrit.wikimedia.org/r/280599

Change 280599 merged by jenkins-bot:
Fix hhvmsh by porting mwrepl

https://gerrit.wikimedia.org/r/280599

Checked - hhvmsh frwiki will access the specified wiki; see the output below:

vagrant@mediawiki-vagrant:~$  hhvmsh frwiki
Welcome to HipHop Debugger!
Type "help" or "?" for a complete list of commands.

Program /var/www/w/MWScript.php loaded. Type '[r]un' or '[c]ontinue' to go.
hphpd> continue
Program /var/www/w/MWScript.php exited normally.
hphpd> echo $wgDBname;
echo $wgDBname;
frwiki
hphpd>
Etonkovidova closed this task as Resolved.Apr 7 2016, 10:04 PM