Ticket #21316: 21316.patch

wp-includes/functions.php

@@ -5 +5 @@
  * @package WordPress
  */
 
-require( ABSPATH . WPINC . '/option.php' );
+if ( version_compare( $required_php_version, phpversion(), '<=' ) )
+        require( ABSPATH . WPINC . '/option.php' );
 
 /**
  * Converts given date string into a different format.