Fix non-negative-int

Author: szepeviktor

generate.sh

@@ -33,6 +33,10 @@ else
     printf '\n/**\n * WordPress database abstraction object.\n * @var wpdb\n */\n$wpdb = \\null;\n' >>"$FILE"
 fi
 
+# Convert non-negative-int to int<0,max> in SimplePie
+sed -i -e 's# non-negative-int # int<0,max> #' source/wordpress/wp-includes/SimplePie/src/File.php
+sed -i -e 's# non-negative-int # int<0,max> #' source/wordpress/wp-includes/SimplePie/src/HTTP/Parser.php
+
 if [ -r source/wordpress/wp-includes/Requests/Cookie/Jar.php ]; then
     # Add ReturnTypeWillChange attribute to PHP 8-incompatible methods.
     declare -r -a REQUESTS_V1_METHODS=(

wordpress-stubs.php

@@ -25417,7 +25417,7 @@ class File implements \SimplePie\HTTP\Response
          * @deprecated Use `get_status_code()` method.
          */
         public $status_code = 0;
-        /** @var int Number of redirect that were already performed during this request sequence. */
+        /** @var int<0,max> Number of redirect that were already performed during this request sequence. */
         public $redirects = 0;
         /** @var ?string */
         public $error;
@@ -25693,7 +25693,7 @@ protected function chunked()
          * Prepare headers (take care of proxies headers)
          *
          * @param string  $headers Raw headers
-         * @param int $count Redirection count. Default to 1.
+         * @param int<0,max> $count Redirection count. Default to 1.
          *
          * @return string
          */