BdB>>Even though I like "jump", people will most likely be searching for
BdB>>"goto" (PHP manual) or "goto PHP" (Google) when they're trying to
BdB>>find out if PHP has such a functionality. So, maybe it's better to
BdB>>just call it "goto".
For such people we might have a page in the manual saying:
goto: see jump
Erm, wouldn't those people who need to refer to the manual be exactly the
same people we wanted to protect from goto in the first place? :)
jump +1, if it counts
- Steph
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
