Doc #80677 [NEW]: session.cookie_samesite missing from INI list

From: matt at silverstripe dot com Operating system: N/A PHP version: Irrelevant Package: *Configuration Issues Bug Type: Documentation Problem Bug description:session.cookie_samesite missing from INI list Description: ------------ Hi there, This page lists all runtime configuration options for the session extension and this contains 36 config options (starting with 'session'): https://www.php.net/manual/en/session.configuration.php This page lists all php.ini directives that can be set and contains 33 config options (starting with 'session'): https://www.php.net/manual/en/ini.list.php Notably, a developer on our team believed that we couldn't use ini_set() for the session.cookie_samesite option, as it is only listed on the former page and not the latter. I would be happy to contribute a fix to the docs to get these two pages in sync, but I'm not sure where exactly to do that and the 'About the manual > How to help improve the documentation' section didn't list a Git repo or similar where I could submit a PR - hence raising this bug report. If there's a public place where I can help resolve this, please point me in the right direction and I'm happy to update and close this instead. Expected result: ---------------- The list of session config options should be in sync between the global table of all php.ini directives and the one in the session extension documentation. -- Edit bug report at https://bugs.php.net/bug.php?id=80677&edit=1 -- Fix committed: https://bugs.php.net/fix.php?id=80677&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=80677&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=80677&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=80677&r=needscript Try newer version: https://bugs.php.net/fix.php?id=80677&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=80677&r=support Expected behavior: https://bugs.php.net/fix.php?id=80677&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=80677&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=80677&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=80677&r=globals PHP version support discontinued: https://bugs.php.net/fix.php?id=80677&r=phptooold Daylight Savings: https://bugs.php.net/fix.php?id=80677&r=dst IIS Stability: https://bugs.php.net/fix.php?id=80677&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=80677&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=80677&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=80677&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=80677&r=mysqlcfg