So... we have this massive revamp of the editor screen (not a bad thing), but we're willing to make breaking changes for themes/plugins. If that's the new approach of WordPress, can we PLEASE update the minimum PHP version then? I'd be so happy to accept this breaking change, if that one is forced for WP 5.0. ;)