WordPress: Menü bearbeiten als Redakteur

Oft kommt es vor, dass Kunden im Dashboard (bzw. Backend) von WordPress, selbst Hand anlegen wollen. Im Zuge dessen, kann es nötig sein dem Redakteur das Bearbeiten von Menüs zu ermöglichen. Dazu muss man einfach nur folgenden Zeilen in seine functions.php hinzufügen.

$role_object = get_role('editor');
$role_object->add_cap('edit_theme_options');