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

Timestamp:

07/17/2014 09:13:53 AM (12 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;