[PHP-BUG] Bug #76311 [NEW]: _destruct should permit "void" as return type

From:             Andy_Schmidt at HM-Software dot com
Operating system: 
PHP version:      7.2.5
Package:          PHP Language Specification
Bug Type:         Bug
Bug description:_destruct should permit "void" as return type

Description:
------------
According to PHP's manual:
http://php.net/manual/en/language.oop5.decon.php
the signature of the __destruct method is:

void __destruct ( void )

Consequently, the following syntax would be correct for 7.2, now that a
"void" type hint is available:

function __destruct(): void {}


Actual result:
--------------
PHP Fatal error:  Destructor __destruct() cannot declare a return type

-- 
Edit bug report at https://bugs.php.net/bug.php?id=76311&edit=1
-- 
Try a snapshot (PHP 5.4):   https://bugs.php.net/fix.php?id=76311&r=trysnapshot54
Try a snapshot (PHP 5.5):   https://bugs.php.net/fix.php?id=76311&r=trysnapshot55
Try a snapshot (trunk):     https://bugs.php.net/fix.php?id=76311&r=trysnapshottrunk
Fixed in SVN:               https://bugs.php.net/fix.php?id=76311&r=fixed
Fixed in release:           https://bugs.php.net/fix.php?id=76311&r=alreadyfixed
Need backtrace:             https://bugs.php.net/fix.php?id=76311&r=needtrace
Need Reproduce Script:      https://bugs.php.net/fix.php?id=76311&r=needscript
Try newer version:          https://bugs.php.net/fix.php?id=76311&r=oldversion
Not developer issue:        https://bugs.php.net/fix.php?id=76311&r=support
Expected behavior:          https://bugs.php.net/fix.php?id=76311&r=notwrong
Not enough info:            https://bugs.php.net/fix.php?id=76311&r=notenoughinfo
Submitted twice:            https://bugs.php.net/fix.php?id=76311&r=submittedtwice
register_globals:           https://bugs.php.net/fix.php?id=76311&r=globals
PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76311&r=php4
Daylight Savings:           https://bugs.php.net/fix.php?id=76311&r=dst
IIS Stability:              https://bugs.php.net/fix.php?id=76311&r=isapi
Install GNU Sed:            https://bugs.php.net/fix.php?id=76311&r=gnused
Floating point limitations: https://bugs.php.net/fix.php?id=76311&r=float
No Zend Extensions:         https://bugs.php.net/fix.php?id=76311&r=nozend
MySQL Configuration Error:  https://bugs.php.net/fix.php?id=76311&r=mysqlcfg