Changeset 18084

Timestamp:

05/31/2011 07:58:36 PM (15 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