Doc #80420 [NEW]: Zend Engine `-dev` flag on release build

From: dev at dcolt dot org Operating system: Gentoo PHP version: 8.0.0RC5 Package: Documentation problem Bug Type: Documentation Problem Bug description:Zend Engine -dev flag on release build Description: ------------ Just installed the release version of PHP8 (https://www.php.net/distributions/php-8.0.0.tar.bz2) and in the version information, the Zend Engine still shows `Zend Engine v4.0.0-dev` Test script: --------------- php8.0 -v Expected result: ---------------- PHP 8.0.0 (cli) (built: Nov 25 2020 22:04:45) ( NTS ) Copyright (c) The PHP Group Zend Engine v4.0.0, Copyright (c) Zend Technologies with Zend OPcache v8.0.0, Copyright (c), by Zend Technologies Actual result: -------------- PHP 8.0.0 (cli) (built: Nov 25 2020 22:04:45) ( NTS ) Copyright (c) The PHP Group Zend Engine v4.0.0-dev, Copyright (c) Zend Technologies with Zend OPcache v8.0.0, Copyright (c), by Zend Technologies -- Edit bug report at https://bugs.php.net/bug.php?id=80420&edit=1 -- Fix committed: https://bugs.php.net/fix.php?id=80420&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=80420&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=80420&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=80420&r=needscript Try newer version: https://bugs.php.net/fix.php?id=80420&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=80420&r=support Expected behavior: https://bugs.php.net/fix.php?id=80420&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=80420&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=80420&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=80420&r=globals PHP version support discontinued: https://bugs.php.net/fix.php?id=80420&r=phptooold Daylight Savings: https://bugs.php.net/fix.php?id=80420&r=dst IIS Stability: https://bugs.php.net/fix.php?id=80420&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=80420&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=80420&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=80420&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=80420&r=mysqlcfg