Ticket #16953: 16953.diff

wp-includes/plugin.php

@@ -547 +547 @@
  * @uses WP_PLUGIN_DIR
  */
 function plugin_basename($file) {
+        $file = apply_filters( 'pre_plugin_basename', $file );
         $file = str_replace('\\','/',$file); // sanitize for Win32 installs
         $file = preg_replace('|/+|','/', $file); // remove any duplicate slash
         $plugin_dir = str_replace('\\','/',WP_PLUGIN_DIR); // sanitize for Win32 installs