Changeset 18084

Timestamp:

05/31/2011 07:58:36 PM (14 years ago)

Author:

ryan

Message:

s/seperator/separator/. Props brandonburke. fixes #17610

Location:

trunk/wp-admin/includes

Files:

• class-wp-upgrader.php (modified) (1 diff)
• menu.php (modified) (1 diff)
• plugin.php (modified) (1 diff)

trunk/wp-admin/includes/class-wp-upgrader.php

@@ -581 +581 @@
 
         // If plugin is in its own directory, recursively delete the directory.
-        if ( strpos($plugin, '/') && $this_plugin_dir != $plugins_dir ) //base check on if plugin includes directory seperator AND that its not the root plugin folder
+        if ( strpos($plugin, '/') && $this_plugin_dir != $plugins_dir ) //base check on if plugin includes directory separator AND that its not the root plugin folder
             $deleted = $wp_filesystem->delete($this_plugin_dir, true);
         else

trunk/wp-admin/includes/menu.php

@@ -122 +122 @@
 unset($id, $data, $subs, $first_sub);
 
-// Remove any duplicated seperators
-$seperator_found = false;
+// Remove any duplicated separators
+$separator_found = false;
 foreach ( $menu as $id => $data ) {
     if ( 0 == strcmp('wp-menu-separator', $data[4] ) ) {
-        if (false == $seperator_found) {
-            $seperator_found = true;
+        if (false == $separator_found) {
+            $separator_found = true;
         } else {
             unset($menu[$id]);
-            $seperator_found = false;
+            $separator_found = false;
         }
     } else {
-        $seperator_found = false;
+        $separator_found = false;
     }
 }

trunk/wp-admin/includes/plugin.php

@@ -703 +703 @@
         $this_plugin_dir = trailingslashit( dirname($plugins_dir . $plugin_file) );
         // If plugin is in its own directory, recursively delete the directory.
-        if ( strpos($plugin_file, '/') && $this_plugin_dir != $plugins_dir ) //base check on if plugin includes directory seperator AND that its not the root plugin folder
+        if ( strpos($plugin_file, '/') && $this_plugin_dir != $plugins_dir ) //base check on if plugin includes directory separator AND that its not the root plugin folder
             $deleted = $wp_filesystem->delete($this_plugin_dir, true);
         else