Doc #80003 [NEW]: The Type Operators page is not correct for the instanceof operator in 7.3+

From: alastair at ioncube dot com Operating system: PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:The Type Operators page is not correct for the instanceof operator in 7.3+ Description: ------------ In PHP 7.3 the instanceof operator was changed to allow literals to appear as the first argument. However, this is not reflected on the Type Operators page at https://www.php.net/manual/en/language.operators.type.php where it states that, "Constants, however, are not allowed." It then gives an example: var_dump(FALSE instanceof stdClass); The expected output for that is given as: PHP Fatal error: instanceof expects an object instance, constant given However, that is no longer true for PHP 7.3+ where the result will be bool(false). -- Edit bug report at https://bugs.php.net/bug.php?id=80003&edit=1 -- Fix committed: https://bugs.php.net/fix.php?id=80003&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=80003&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=80003&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=80003&r=needscript Try newer version: https://bugs.php.net/fix.php?id=80003&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=80003&r=support Expected behavior: https://bugs.php.net/fix.php?id=80003&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=80003&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=80003&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=80003&r=globals PHP version support discontinued: https://bugs.php.net/fix.php?id=80003&r=phptooold Daylight Savings: https://bugs.php.net/fix.php?id=80003&r=dst IIS Stability: https://bugs.php.net/fix.php?id=80003&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=80003&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=80003&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=80003&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=80003&r=mysqlcfg