#47884 [Bgs]: mirror does not support searches

ID: 47884 User updated by: info at enterprise-technologies dot de Reported By: info at enterprise-technologies dot de Status: Bogus Bug Type: Website problem Operating System: irrelevant PHP Version: Irrelevant New Comment: Yes, the link is working now. Although we could reproduce the error after several minutes, it may have been a temporarely problem. Previous Comments: ------------------------------------------------------------------------ [2009-04-03 09:34:25] bjori@php.net That link works fine for me.. It probably was a temporary network issue.. ------------------------------------------------------------------------ [2009-04-03 08:47:34] info at enterprise-technologies dot de Description: ------------ Internal error This mirror does not support searches, please report this error to ... Happend on: http://de3.php.net/results.php?q=php_self&p=manual&l=de This bug is present, although bug #46423 (for .hu-mirror) tells it is fixed. Seems to be a new bug for .de-mirror Reproduce code: --------------- simply type in your browser http://de3.php.net/results.php?q=php_self&p=manual&l=de Actual result: -------------- See message above ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=47884&edit=1