What I meant was something like:
--- search.php 2006-02-28 17:30:04.000000000 +0100
+++ search.php 2006-03-06 13:55:39.312500000 +0100
@@ -90,6 +90,15 @@
// Covers the rest
default:
+ $operators = array('==', '!=', '===', '!==', '+=', '? :');
+ $refs = array('=&', '&=');
+ if (in_array($_FORM['pattern'], $operators)) {
+
mirror_redirect("/manual-lookup.php?pattern=operators{$langparam}");
+ break;
+ } else if (in_array($_FORM['pattern'], $refs)) {
+
mirror_redirect("/manual-lookup.php?pattern=references{$langparam}");
+ break;
+ }
$p = urlencode($_FORM['show']);
mirror_redirect($MYSITE . "results.php?q={$ucp}&l=$LANG&p=$p");
break;
Of course I haven't used all possible operators now but wouldn't that be
a bit better?
procabral, es.php.net seems generally broken for me - I get errors none
of the other mirrors are returning.
Greetings,
Florian
