diff -r 3d4e9c994f10 -r a86126ab1dd4 wp/wp-admin/includes/noop.php
--- a/wp/wp-admin/includes/noop.php	Tue Oct 22 16:11:46 2019 +0200
+++ b/wp/wp-admin/includes/noop.php	Tue Dec 15 13:49:49 2020 +0100
@@ -93,18 +93,9 @@
  */
 function wp_guess_url() {}
 
-if ( ! function_exists( 'json_encode' ) ) :
-	/**
-	 * @ignore
-	 */
-	function json_encode() {}
-endif;
-
 function get_file( $path ) {
 
-	if ( function_exists( 'realpath' ) ) {
-		$path = realpath( $path );
-	}
+	$path = realpath( $path );
 
 	if ( ! $path || ! @is_file( $path ) ) {
 		return '';