For grav 1.8 the outdated polyfills should be removed and newer polyfills added. For grav 1.7 the polyfills for php 8.2+ should be added, so every plugin can use it without shipping additionally.
For grav 1.8 the outdated polyfills should be removed and newer polyfills added.
For grav 1.7 the polyfills for php 8.2+ should be added, so every plugin can use it without shipping additionally.