https://bugzilla.wikimedia.org/show_bug.cgi?id=56287
--- Comment #4 from Nemo ---
(In reply to Tim Landscheidt from comment #3)
> The current state of things makes
> https://www.mediawiki.org/wiki/HHVM#Current_work look ugly.
Definitely; in the meanwhile "hiphop" needs to be replaced with "hhvm"
https://bugzilla.wikimedia.org/show_bug.cgi?id=56287
Tim Landscheidt changed:
What|Removed |Added
CC||t...@tim-landscheidt.de
--- Comment
https://bugzilla.wikimedia.org/show_bug.cgi?id=56287
Quim Gil changed:
What|Removed |Added
See Also||https://bugzilla.wikimedia.
https://bugzilla.wikimedia.org/show_bug.cgi?id=56287
--- Comment #2 from T. Gries ---
(In reply to comment #1)
> We already had a patch for this a few months ago, but the commit it depends
> on
> was stuck in code review. https://gerrit.wikimedia.org/r/#/c/68417/
Allow some few days for fixing t
https://bugzilla.wikimedia.org/show_bug.cgi?id=56287
Nemo changed:
What|Removed |Added
CC||benap...@gmail.com,
|
https://bugzilla.wikimedia.org/show_bug.cgi?id=56287
Nemo changed:
What|Removed |Added
CC||federicol...@tiscali.it
Summary|Allo