https://bugzilla.wikimedia.org/show_bug.cgi?id=65711
Bug ID: 65711
Summary: Fatal error: Class undefined: LuaSandbox
Product: MediaWiki extensions
Version: master
Hardware: All
OS: All
Status: NEW
Keywords: hiphop
Severity: normal
Priority: Unprioritized
Component: Scribunto
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected]
Web browser: ---
Mobile Platform: ---
This should never be true:
hphpd> var_dump(extension_loaded('luasandbox') && !class_exists('LuaSandbox'));
bool(true)
This is against tip of Tim's hiphop-php/dev.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
