Doc #76259 [NEW]: Sessions extension does not strictly match Core extention definition

From: akimkin dot denis at gmail dot com Operating system: PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:Sessions extension does not strictly match Core extention definition Description: ------------ --- From manual page: http://www.php.net/extensions.membership --- The Core Extensions subsection of a document contains following note: "These are not actual extensions. They are part of the PHP core and cannot be left out of a PHP binary with compilation options." However, at least one of mentioned Core extensions, namely Sessions, does not fit into this description. --- From manual page: http://www.php.net/session.installation --- "Session support is enabled in PHP by default. If you would not like to build your PHP with session support, you should specify the --disable-session option to configure." Moreover, on some systems (namely FreeBSD) sessions are actually supplied as a separate package that is not necessary to be installed in order to use PHP. Therefore, a conclusion can be done that either Sessions is not a Core extension or the definition of Core extension is not accurate. -- Edit bug report at https://bugs.php.net/bug.php?id=76259&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=76259&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=76259&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=76259&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=76259&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=76259&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=76259&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=76259&r=needscript Try newer version: https://bugs.php.net/fix.php?id=76259&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=76259&r=support Expected behavior: https://bugs.php.net/fix.php?id=76259&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=76259&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=76259&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=76259&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76259&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=76259&r=dst IIS Stability: https://bugs.php.net/fix.php?id=76259&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=76259&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=76259&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=76259&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=76259&r=mysqlcfg