Update stubs

Author: phpstan-bot

Diff for: stubs/ext/standard/chop.php

@@ -1,6 +1,6 @@
 <?php 
 
 /** @alias rtrim */
-function chop(string $string, string $characters = " \n\r\t\v\0") : string
+function chop(string $string, string $characters = " \n\r\t\v\x00") : string
 {
 }

Diff for: stubs/ext/standard/ltrim.php

@@ -1,5 +1,5 @@
 <?php 
 
-function ltrim(string $string, string $characters = " \n\r\t\v\0") : string
+function ltrim(string $string, string $characters = " \n\r\t\v\x00") : string
 {
 }

Diff for: stubs/ext/standard/rtrim.php

@@ -1,5 +1,5 @@
 <?php 
 
-function rtrim(string $string, string $characters = " \n\r\t\v\0") : string
+function rtrim(string $string, string $characters = " \n\r\t\v\x00") : string
 {
 }

Diff for: stubs/ext/standard/trim.php

@@ -1,5 +1,5 @@
 <?php 
 
-function trim(string $string, string $characters = " \n\r\t\v\0") : string
+function trim(string $string, string $characters = " \n\r\t\v\x00") : string
 {
 }