Ticket #11007: plugin.php.diff

plugin.php

@@ -484 +484 @@
  * @access private
  *
  * @param string $file The filename of plugin.
+ * @param bool $strip_ext Set to true to strip file extension. Default false.
  * @return string The name of a plugin.
  * @uses WP_PLUGIN_DIR
  */
-function plugin_basename($file) {
+function plugin_basename( $file, $strip_ext = false ) {
         $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
@@ -496 +497 @@
         $mu_plugin_dir = preg_replace('|/+|','/', $mu_plugin_dir); // remove any duplicate slash
         $file = preg_replace('#^' . preg_quote($plugin_dir, '#') . '/|^' . preg_quote($mu_plugin_dir, '#') . '/#','',$file); // get relative path from plugins dir
         $file = trim($file, '/');
+        if ( $strip_ext ) {
+                $file = substr( $file, 0, strrpos( $file, '.' ) );
+        }
         return $file;
 }