ID: 37796 Comment by: admin at ifyouwantblood dot de Reported By: nics at mail dot com Status: Open Bug Type: Feature/Change Request Operating System: * PHP Version: 6CVS-2006-06-13 (snap) New Comment:
<=> would look nicer ;-).... still i think <> can be removed, its just an overhead with no real use. Previous Comments: ------------------------------------------------------------------------ [2006-06-13 20:39:47] nics at mail dot com Description: ------------ Just my ideas for the equivalent of <>. I noticed that it did not have for operator <> with the type comparison. File: ZendEngine2/zend_language_scanner.l - <ST_IN_SCRIPTING>"!==" { + <ST_IN_SCRIPTING>"!=="|"<>=" { return T_IS_NOT_IDENTICAL; } Actual result: -------------- != and <> !== don't have equivalent with "<>" ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=37796&edit=1