Description:
------------
The documentation for the Exception class ( http://www.php.net/manual/en/class.exception.php  http://www.php.net/manual/en/exception.gettrace.php and
http://www.php.net/manual/en/class.errorexception.php ) characterise the getTrace() method as "final public string" instead of "final public array". "final public string" is what getTraceAsString() returns.


Reproduce code:
---------------
$foo = new Exception();
$trace = $foo->getTrace();
echo gettype($trace);


Expected result:
----------------
// Assuming the documentation is correct
string


Actual result:
--------------
// The correct output, which contradicts the documentation
array