WordPress.org

Make WordPress Core

Ticket #16953: pre-plugin-basename.diff

File pre-plugin-basename.diff, 673 bytes (added by MikeSchinkel, 7 years ago)

pre-plugin-basename.diff

  • public_html/wp-includes/plugin.php

    IDEA additional info:
    Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
    <+>UTF-8
     
    563563 * @uses WP_PLUGIN_DIR
    564564 */
    565565function plugin_basename($file) {
     566  $file = apply_filters('pre_plugin_basename', $file);
    566567        $file = str_replace('\\','/',$file); // sanitize for Win32 installs
    567568        $file = preg_replace('|/+|','/', $file); // remove any duplicate slash
    568569        $plugin_dir = str_replace('\\','/',WP_PLUGIN_DIR); // sanitize for Win32 installs