Hi Nigel, it is in effect a one line plugin, so if you really need this you can add that line to your functions.php or create your own one line plugin e.g.
<?php
/**
* Plugin Name: YOUR PLUGIN NAME
*/
add_filter( 'media_library_infinite_scrolling', '__return_true' );
@rodgersnigel Good point. I like to encourage more recent versions, but there’s no technical requirement here to diverge from what WP Core itself supports. I’ve lowered the PHP requirement to 7.0.
My PHP is 5.6 because of a MediaWiki dependency on my website.