1234567891011121314151617181920212223242526272829303132333435363738 |
- <?php
- /**
- * @file
- * Menu callbacks for admin_menu_source module
- */
- function admin_menu_source_settings() {
- $roles = user_roles();
- $menus = menu_get_menus();
- $default_values = _admin_menu_source_get_settings();
- $form['#theme'] = 'admin_menu_source_settings_form';
-
- $form['admin_menu_source_settings'] = array(
- '#tree' => TRUE,
- '#title' => t('Menu source per role'),
- );
-
- foreach ($roles as $rid => $role) {
- $form['admin_menu_source_settings'][$rid]['role'] = array(
- '#markup' => $role
- );
- $form['admin_menu_source_settings'][$rid]['source'] = array(
- '#type' => 'select',
- '#options' => array('' => t('Default')) + $menus,
- '#default_value' => isset($default_values[$rid]['source']) ? $default_values[$rid]['source'] : '',
- );
- }
-
- // Add a custom submit handler.
- $form['#submit'][] = 'admin_menu_source_settings_submit';
-
- return system_settings_form($form);
- }
- function admin_menu_source_settings_submit() {
- // Flush admin_menu's cache.
- admin_menu_flush_caches();
- }
|