Ticket #16953: 16953.no-single-file.diff

wp-includes/plugin.php

@@ -645 +645 @@
         $plugin_path = wp_normalize_path( dirname( $file ) );
         $plugin_realpath = wp_normalize_path( dirname( realpath( $file ) ) );
 
+        if ( $plugin_path === WP_PLUGIN_DIR || $plugin_path === WPMU_PLUGIN_DIR ) {
+                return false;
+        }
+
         if ( $plugin_path !== $plugin_realpath ) {
                 $wp_plugin_paths[ $plugin_path ] = $plugin_realpath;
         }
+
+        return true;
 }
 
 /**

wp-settings.php

@@ -168 +168 @@
 
 // Load must-use plugins.
 foreach ( wp_get_mu_plugins() as $mu_plugin ) {
-        wp_register_plugin_realpath( $mu_plugin );
         include_once( $mu_plugin );
 }
 unset( $mu_plugin );