Last modified: 2014-07-28 20:50:10 UTC
HHVM has a repl mode and phpsh is mostly abandonware. [15:41] < ori> the hhvm repl is better than phpsh [15:41] < ori> phpsh is dead, i've had to fork it to fix bugs [15:41] < ori> i'm actually the maintainer of the package on pypi [15:42] < bd808> Ok. So should we stop installing it? Or make it possible to tell it to run php5 instead? [15:42] < ori> and it's also from facebook! [15:42] < bd808> https://bugzilla.wikimedia.org/show_bug.cgi?id=67746 [15:42] < ori> yeah, i saw [15:42] < bd808> I can reproduce [15:42] < ori> well, we need to work out how to invoke hhvm with mediawiki's codebase loaded [15:42] < ori> then we can get rid of phpsh
Change 145222 had a related patch set uploaded by BryanDavis: [WIP] Enable HHVM debugging REPL https://gerrit.wikimedia.org/r/145222
Change 145222 merged by jenkins-bot: Enable HHVM debugging REPL https://gerrit.wikimedia.org/r/145222
The HHVM debugging shell is now available within the guest VM. Use by logging in to your vm and running: hhvm --mode debug --debug-host ::1 Or use from the host computer with: vagrant ssh -c 'hhvm --mode debug --debug-host ::1' Once connected, type '?' for a list of basic commands. For example, `g` will list current globals or `=$IP` will show the current value of the $IP variable. We could probably make a tiny shell script (hhvmsh?) to fire up the debugger repl and then kill off phpsh or make it only install when the zend role is enabled.
Change 146021 had a related patch set uploaded by BryanDavis: Replace phpsh with "hhvmsh" https://gerrit.wikimedia.org/r/146021
Change 146021 merged by jenkins-bot: Replace phpsh with "hhvmsh" https://gerrit.wikimedia.org/r/146021
Updated [[:mw:MediaWiki-Vagrant]] -- https://www.mediawiki.org/w/index.php?title=MediaWiki-Vagrant&diff=1067907&oldid=1067905
