Merge branch 'PHP-8.3'

* PHP-8.3:
  strtok is not comptime()

Author: iluuu1994

Zend/tests/gh13145.phpt

@@ -0,0 +1,16 @@
+--TEST--
+GH-13145: strtok() misoptimization
+--FILE--
+<?php
+$tok = strtok("This is\tan example\nstring", " \n\t");
+while ($tok !== false) {
+    var_dump($tok);
+    $tok = strtok(" \n\t");
+}
+?>
+--EXPECT--
+string(4) "This"
+string(2) "is"
+string(2) "an"
+string(7) "example"
+string(6) "string"

ext/standard/basic_functions.stub.php

@@ -2355,7 +2355,6 @@ function implode(string|array $separator, ?array $array = null): string {}
 function join(string|array $separator, ?array $array = null): string {}
 
 /**
- * @compile-time-eval
  * @refcount 1
  */
 function strtok(string $string, ?string $token = null): string|false {}