There were 3 PHPDocumentor errors in master.
This fixes one of them.
The other two are due to known limitations in PHPDocumentor in dealing with some features of PHP7 type hinting, so can't be fixed until PHPDocumentor actually release their version 3 :-)
There were 3 PHPDocumentor errors in master. This fixes one of them. The other two are due to known limitations in PHPDocumentor in dealing with some features of PHP7 type hinting, so can't be fixed until PHPDocumentor actually release their version 3 :-)