Changeset 29206 for trunk/src/wp-admin/includes/plugin.php

Timestamp:

07/17/2014 09:13:53 AM (11 years ago)

Author:

DrewAPicture

Message:

Fix syntax for single- and multi-line comments in wp-admin-directory files.

See #28931.

File:

• trunk/src/wp-admin/includes/plugin.php (modified) (4 diffs)

trunk/src/wp-admin/includes/plugin.php

@@ -852 +852 @@
 function validate_active_plugins() {
     $plugins = get_option( 'active_plugins', array() );
-    // validate vartype: array
+    // Validate vartype: array.
     if ( ! is_array( $plugins ) ) {
         update_option( 'active_plugins', array() );
@@ -868 +868 @@
     $invalid = array();
 
-    // invalid plugins get deactivated
+    // Invalid plugins get deactivated.
     foreach ( $plugins as $plugin ) {
         $result = validate_plugin( $plugin );
@@ -1120 +1120 @@
     }
 
-    // If the parent doesn't already have a submenu, add a link to the parent
-    // as the first item in the submenu. If the submenu file is the same as the
-    // parent file someone is trying to link back to the parent manually. In
-    // this case, don't automatically add a link back to avoid duplication.
+    /*
+     * If the parent doesn't already have a submenu, add a link to the parent
+     * as the first item in the submenu. If the submenu file is the same as the
+     * parent file someone is trying to link back to the parent manually. In
+     * this case, don't automatically add a link back to avoid duplication.
+     */
     if (!isset( $submenu[$parent_slug] ) && $menu_slug != $parent_slug ) {
         foreach ( (array)$menu as $parent_menu ) {
@@ -1138 +1140 @@
 
     $_registered_pages[$hookname] = true;
-    // backwards-compatibility for plugins using add_management page. See wp-admin/admin.php for redirect from edit.php to tools.php
+
+    /*
+     * Backward-compatibility for plugins using add_management page.
+     * See wp-admin/admin.php for redirect from edit.php to tools.php
+     */
     if ( 'tools.php' == $parent_slug )
         $_registered_pages[get_plugin_page_hookname( $menu_slug, 'edit.php')] = true;
 
-    // No parent as top level
+    // No parent as top level.
     $_parent_pages[$menu_slug] = $parent_slug;