Hallo!
Nein, das ist es nicht, es war wirklich ein eiziger Befehl für MAIL oder URL.
Wohl eher eine Funktion als ein Befehl. Vielleicht hat es sich dabei um ein preg_match() oder eine andere Funktion mit regulärem Ausdruck gehandelt. Es gibt in PHP jedenfalls nichts anderes was deiner Beschreibung entspricht.
Matze