Wordpress: Remove admin's menu options for end-user

functions.php

<?php

// Remove admin's menu options
add_action('admin_menu', 'remove_menu_options');
function remove_menu_options () {
	global $menu;
	
	$remove = array(__('Links'), __('Posts'), __('Comments'), /*__('Dashboard'),*/ __('Tools'), /*__('Appearance'),*/ __('Plugins'), __('Users'), __('Settings'));
	
	end($menu);
	
	while(prev($menu)){
		$value = explode(' ', $menu[key($menu)][0]);
		
		if(in_array($value[0] != NULL ? $value[0] : "" , $remove)) {
			unset($menu[key($menu)]);
		}
	}
}