Page MenuHomePhabricator

Port mwrepl to MediaWiki-Vagrant
Closed, ResolvedPublic


Production has mwrepl, which allows accessing any wiki:

mwrepl zhwiki

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

For QAing this, you can run (separately):

mwrepl frwiki

and in each do:

echo $wgDBname;


Related Gerrit Patches:
mediawiki/vagrant : masterFix hhvmsh by porting mwrepl

Related Objects

Event Timeline

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

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

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;
Etonkovidova closed this task as Resolved.Apr 7 2016, 10:04 PM