https://bugzilla.wikimedia.org/show_bug.cgi?id=67756
Bug ID: 67756
Summary: Replace phpsh with hhvm repl
Product: MediaWiki-Vagrant
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: General
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected]
Web browser: ---
Mobile Platform: ---
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
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
