PHP 8.5: register_argc_argv is Off in CLI

Description

In this deprecations RFC https://wiki.php.net/rfc/deprecations_php_8_5 under "Deprecate the register_argc_argv INI directive" is the following:

We propose to deprecate this INI setting and make in default to Off in PHP 8.5, then to hardcode it to Off for all non-CLI-related SAPIs on PHP 9 (while keeping it hardcoded to On for CLI-related ones).

When I try php -r "echo ini_get('register_argc_argv');" on PHP 8.5.0-dev (cli) (built: Oct 18 2025 21:59:48) (NTS) it outputs 0. But I'm on the command line and I'd expect this to be set to 1.

PHP Version

PHP 8.5.0-dev (cli) (built: Oct 18 2025 21:59:48) (NTS)
Copyright (c) The PHP Group
Built by Shivam Mathur
Zend Engine v4.5.0-dev, Copyright (c) Zend Technologies
    with Zend OPcache v8.5.0-dev, Copyright (c), by Zend Technologies

Operating System

macOS 15.7 (and also on ubuntu-latest in GitHub Actions with setup-php)