Doc #69919 [NEW]: php_check_syntax deprecation / removed notice should be more prominent

From: php-bugs at allenjb dot me dot uk Operating system: PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:php_check_syntax deprecation / removed notice should be more prominent Description: ------------ The deprecation notice on this page is only a note box at the bottom of the main documentation, and as such is easy to miss. I would expect it to be a more prominent notice at the top of the page (similar to what's used for the ext/mysql functions). -- Edit bug report at https://bugs.php.net/bug.php?id=69919&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=69919&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=69919&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=69919&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=69919&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=69919&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=69919&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=69919&r=needscript Try newer version: https://bugs.php.net/fix.php?id=69919&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=69919&r=support Expected behavior: https://bugs.php.net/fix.php?id=69919&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=69919&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=69919&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=69919&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=69919&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=69919&r=dst IIS Stability: https://bugs.php.net/fix.php?id=69919&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=69919&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=69919&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=69919&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=69919&r=mysqlcfg