Add PHP 8.5 partitioned cookie attribute to session_get_cookie_params() and the cookie option shapes

[phpstan-bot]

Summary

PHP 8.5 adds the partitioned cookie attribute (CHIPS RFC). session_get_cookie_params() now returns a partitioned key, but PHPStan's signature map didn't know about it, so array_key_exists('partitioned', session_get_cookie_params()) was inferred as always evaluating to false on PHP 8.5 — a false positive. This adds partitioned to the affected cookie function signatures for PHP 8.5.

Changes

• resources/functionMap_php85delta.php:
  • new section: add partitioned: bool to the session_get_cookie_params() return array shape.
  • new section: add partitioned?:bool to the options-array parameter shape of setcookie'1, setrawcookie'1, and session_set_cookie_params'1 (the CHIPS RFC added the attribute to all four cookie functions).
  • old section: record the pre-8.5 signatures for the same functions so the 8.5↔8.4 conversion stays reversible.
• tests/PHPStan/Analyser/nsrt/session-get-cookie-params-php85.php: new PHP 8.5 (// lint >= 8.5) regression test asserting the full return shape and that array_key_exists('partitioned', session_get_cookie_params()) is true.

Root cause

The base functionMap.php reflects PHP 8.4, where the partitioned cookie attribute does not exist. PHP 8.5 signature differences are layered on via functionMap_php85delta.php, but the delta hadn't been updated for the CHIPS RFC. As a result, on PHP 8.5 the return shape of session_get_cookie_params() was missing the partitioned key, and the input option shapes of the sibling cookie setters were missing it too.

The parallel-construct axis here is the four cookie functions the CHIPS RFC touched: session_get_cookie_params() (return shape) and setcookie / setrawcookie / session_set_cookie_params (options-array parameter shapes). The reported bug was only observable on the return-shape function (the option shapes are not sealed against extra keys, so they didn't produce a visible false positive), but all four are updated together for accuracy and to match php.net / the RFC.

Test

• tests/PHPStan/Analyser/nsrt/session-get-cookie-params-php85.php asserts the return type of session_get_cookie_params() includes partitioned: bool and that array_key_exists('partitioned', session_get_cookie_params()) narrows to true on PHP 8.5.
• Verified via bin/phpstan analyse with phpVersion: 80500 that the partitioned key is present (and absent with phpVersion: 80400), and that reading $params['partitioned'] yields bool.

Fixes phpstan/phpstan#14922