Ticket #16953: pre-plugin-basename.diff
File pre-plugin-basename.diff, 673 bytes (added by , 10 years ago) |
---|
-
public_html/wp-includes/plugin.php
IDEA additional info: Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP <+>UTF-8
563 563 * @uses WP_PLUGIN_DIR 564 564 */ 565 565 function plugin_basename($file) { 566 $file = apply_filters('pre_plugin_basename', $file); 566 567 $file = str_replace('\\','/',$file); // sanitize for Win32 installs 567 568 $file = preg_replace('|/+|','/', $file); // remove any duplicate slash 568 569 $plugin_dir = str_replace('\\','/',WP_PLUGIN_DIR); // sanitize for Win32 installs