This is caused by the "opcache" php module in conjunction with the "CACHE_ACCEL" setting in Mediawiki. If either $wgMainCacheType is set to CACHE_NONE or "opcache" php module is disabled Mediawiki search will no longer cause php exceptions, and function as expected.
For reference: https://bugs.php.net/bug.php?id=65510 ** Bug watch added: bugs.php.net/ #65510 http://bugs.php.net/bug.php?id=65510 -- You received this bug notification because you are a member of Ubuntu Server Team, which is subscribed to php5 in Ubuntu. https://bugs.launchpad.net/bugs/1225546 Title: php5-fpm crashed with SIGSEGV in ZEND_FETCH_DIM_R_SPEC_VAR_CONST_HANDLER() To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/php5/+bug/1225546/+subscriptions -- Ubuntu-server-bugs mailing list Ubuntu-server-bugs@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-server-bugs
