Description:
------------
The documentation about extending exceptions (http://www.php.net/manual/en/language.exceptions.extending.php) describes an outdated version of the Exception class. 

The page says, the build-in Exception class would have this interface:

<?php
class Exception
{
    protected $message = 'Unknown exception';   // exception message
    protected $code = 0;                        // user defined exception code
    protected $file;                            // source filename of exception
    protected $line;                            // source line of exception

    function __construct($message = null, $code = 0);

    final function getMessage();                // message of exception 
    final function getCode();                   // code of exception
    final function getFile();                   // source filename
    final function getLine();                   // source line
    final function getTrace();                  // an array of the backtrace()
    final function getTraceAsString();          // formatted string of trace

    /* Overrideable */
    function __toString();                       // formatted string for display
}
?>


This is not true any longer. Suggested fix: Replace Example #1 with this code:

<?php
class Exception   {
    /* Properties */
    protected string $message ;
    private string $string ;
    protected int $code ;
    protected string $file ;
    protected int $line ;
    private array $trace ;
    /* Methods */
    public __construct ($message = "",$code = 0, Exception $previous = NULL ) ;
    final public string getMessage ( ) ;
    final public Exception getPrevious ( ) ;
    final public int getCode ( ) ;
    final public string getFile ( ) ;
    final public int getLine ( ) ;
    final public array getTrace ( ) ;
    final public string getTraceAsString ( ) ;
    public string __toString ( ) ;
    final private void __clone ( ) ;
}
?>

Additionally, the second example is missing a parameter for the constructor.


Reproduce code:
---------------
none

Expected result:
----------------
none, since there's no code.

Actual result:
--------------
???