Are any WordPress plugin developers working with PHP polyfills when distributing their plugin?