gistfile1.php

function menu_order_filter($menu) {
 $dev_menu = array('plugins.php', 'tools.php', 'themes.php');
 array_splice($menu, 1, 0, $dev_menu);
 return array_unique($menu);
}

add_filter('custom_menu_order', create_function('', 'return true;'));
add_filter('menu_order', 'menu_order_filter');