#50846 [NEW]: SPL Types is PECL extension, but is not described as such

From: mchlpl at gmail dot com Operating system: PHP version: Irrelevant PHP Bug Type: Documentation problem Bug description: SPL Types is PECL extension, but is not described as such Description: ------------ SPL Types extension http://www.php.net/manual/en/book.spl-types.php Is available through PECL. Unfortunately it lacks Installation/Configuration page in Manual to mention it. It is confusing since SPL is bundled with PHP and enabled by default. Reproduce code: --------------- --- From manual page: intro.spl-types --- -- Edit bug report at http://bugs.php.net/?id=50846&edit=1 -- Try a snapshot (PHP 5.2): http://bugs.php.net/fix.php?id=50846&r=trysnapshot52 Try a snapshot (PHP 5.3): http://bugs.php.net/fix.php?id=50846&r=trysnapshot53 Try a snapshot (PHP 6.0): http://bugs.php.net/fix.php?id=50846&r=trysnapshot60 Fixed in SVN: http://bugs.php.net/fix.php?id=50846&r=fixed Fixed in SVN and need be documented: http://bugs.php.net/fix.php?id=50846&r=needdocs Fixed in release: http://bugs.php.net/fix.php?id=50846&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=50846&r=needtrace Need Reproduce Script: http://bugs.php.net/fix.php?id=50846&r=needscript Try newer version: http://bugs.php.net/fix.php?id=50846&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=50846&r=support Expected behavior: http://bugs.php.net/fix.php?id=50846&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=50846&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=50846&r=submittedtwice register_globals: http://bugs.php.net/fix.php?id=50846&r=globals PHP 4 support discontinued: http://bugs.php.net/fix.php?id=50846&r=php4 Daylight Savings: http://bugs.php.net/fix.php?id=50846&r=dst IIS Stability: http://bugs.php.net/fix.php?id=50846&r=isapi Install GNU Sed: http://bugs.php.net/fix.php?id=50846&r=gnused Floating point limitations: http://bugs.php.net/fix.php?id=50846&r=float No Zend Extensions: http://bugs.php.net/fix.php?id=50846&r=nozend MySQL Configuration Error: http://bugs.php.net/fix.php?id=50846&r=mysqlcfg