Even though I like "jump", people will most likely be searching for "goto"
(PHP manual) or "goto PHP" (Google) when they're trying to find out if PHP has
such a functionality. So, maybe it's better to just call it "goto".
Agreed. As the man said this morning, let's "Consider our Audience". "Goto" is what they'll search for. However, the manual does have a list of redirection translations. We can have
http://www.php.net/goto resolve to
http://www.php.net/language.control.jump easily enough.
PHP will give some kind of warning if it is used incorrectly, right? They'll
learn soon enough.
Yes, it'll be an E_PARSE.
-Sara