Changeset 4990 for trunk/wp-admin/menu.php

Timestamp:

03/07/2007 05:29:15 AM (18 years ago)

Author:

markjaquith

Message:

Use strpos instead of strstr where ever possible, for speed. Props rob1n. fixes #3920

File:

• trunk/wp-admin/menu.php (modified) (1 diff)

trunk/wp-admin/menu.php

@@ -7 +7 @@
 $menu[0] = array(__('Dashboard'), 'read', 'index.php');
 
-if ( strstr($_SERVER['REQUEST_URI'], 'edit-pages.php') )
+if (strpos($_SERVER['REQUEST_URI'], 'edit-pages.php') !== false)
     $menu[5] = array(__('Write'), 'edit_pages', 'page-new.php');
 else
     $menu[5] = array(__('Write'), 'edit_posts', 'post-new.php');
-if ( strstr($_SERVER['REQUEST_URI'], 'page-new.php') )
+if (strpos($_SERVER['REQUEST_URI'], 'page-new.php') !== false)
     $menu[10] = array(__('Manage'), 'edit_pages', 'edit-pages.php');
 else