WordPress Version: 3.7
//
// Functions for handling plugins.
//
/**
* Gets the basename of a plugin.
*
* This method extracts the name of a plugin from its filename.
*
* @package WordPress
* @subpackage Plugin
* @since 1.5
*
* @access private
*
* @param string $file The filename of plugin.
* @return string The name of a plugin.
* @uses WP_PLUGIN_DIR
*/
function 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
$plugin_dir = preg_replace('|/+|', '/', $plugin_dir);
// remove any duplicate slash
$mu_plugin_dir = str_replace('\\', '/', WPMU_PLUGIN_DIR);
// sanitize for Win32 installs
$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, '/');
return $file;
}