wp-includes/class-wp-http-proxy.php:99Retrieve the port for the proxy server.
string public function port() { if ( defined( 'WP_PROXY_PORT' ) ) { return WP_PROXY_PORT; } return ''; }Introduced in 2.8.0. Unchanged from 6.7.7 through 7.1.0.
Signature, return type and hooks compared across 5 parsed releases.
src/wp-includes/class-wp-http-proxy.php, and regenerated for each WordPress release so it tracks the code rather than a snapshot of it.