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.

Either syntax works. My personal prefference (prior paragraph not withstanding) is "goto".

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
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to