https://bugzilla.wikimedia.org/show_bug.cgi?id=58532
T. Gries <m...@tgries.de> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED CC| |m...@tgries.de Resolution|--- |INVALID --- Comment #7 from T. Gries <m...@tgries.de> --- I think, this was a specific problem of the PHP5.5.0 (released 20.06.2013), which was the frist version with the integrated ZEND opcdoe fetch. When using that version under Linux, I observed segment faults, and the quick release of the bug-fix version PHP5.5.1 (18.07.2013) and its change log shows, that I was no alone: See Change log to 5.5.1 http://www.php.net/ChangeLog-5.php#5.5.1 . I would strongly suggest not to invest in any bugs with PHP 5.5.0 - this was not a stable and reliable PHP version -> closing this bug as invalid, because it is based on a PHP version which is known as unreliable. @ arc...@live.com : please upgrade to PHP 5.5.7. -- 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 Wikibugs-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikibugs-l