Having not used PHP for many years, this does look like a nice set of improvements.<p>Are there any plans to improve the standard library? For example, looking at the first example from this changelist:<p><pre><code> htmlspecialchars($string, double_encode: false);
</code></pre>
Wouldn't this be nicer encapsulated as something like:<p><pre><code> $encoded = $myString.htmlEncode(double_encode: false);</code></pre>
or<p><pre><code> $encoded = String.htmlEncoded($myString, double_encode: false);
</code></pre>
I think that's more discoverable/logical than just a strangely named function in the global scope.