/[drupal]/contributions/modules/admin_menu/admin_menu.module
ViewVC logotype

Contents of /contributions/modules/admin_menu/admin_menu.module

Parent Directory Parent Directory | Revision Log Revision Log | View Revision Graph Revision Graph


Revision 1.103 - (show annotations) (download) (as text)
Thu Oct 29 21:28:17 2009 UTC (4 weeks, 2 days ago) by sun
Branch: MAIN
Changes since 1.102: +11 -1 lines
File MIME type: text/x-php
by sun: Fixed Devel settings form integration no longer working.
1 <?php
2 // $Id: admin_menu.module,v 1.102 2009/10/28 13:28:16 sun Exp $
3
4 /**
5 * @file
6 * Render an administrative menu as a dropdown menu at the top of the window.
7 */
8
9 /**
10 * Implementation of hook_help().
11 */
12 function admin_menu_help($path, $arg) {
13 switch ($path) {
14 case 'admin/settings/admin_menu':
15 return t('The administration menu module provides a dropdown menu arranged for one- or two-click access to most administrative tasks and other common destinations (to users with the proper permissions). Use the settings below to customize the appearance of the menu.');
16
17 case 'admin/help#admin_menu':
18 $output = '';
19 $output .= '<p>' . t('The administration menu module provides a dropdown menu arranged for one- or two-click access to most administrative tasks and other common destinations (to users with the proper permissions). Administration menu also displays the number of anonymous and authenticated users, and allows modules to add their own custom menu items. Integration with the menu varies from module to module; the contributed module <a href="@drupal">Devel</a>, for instance, makes strong use of the administration menu module to provide quick access to development tools.', array('@drupal' => 'http://drupal.org/project/devel')) . '</p>';
20 $output .= '<p>' . t('The administration menu <a href="@settings">settings page</a> allows you to modify some elements of the menu\'s behavior and appearance. Since the appearance of the menu is dependent on your site theme, substantial customizations require modifications to your site\'s theme and CSS files. See the advanced module README.txt file for more information on theme and CSS customizations.', array('@settings' => url('admin/settings/admin_menu'))) . '</p>';
21 $output .= '<p>' . t('The menu items displayed in the administration menu depend upon the actual permissions of the viewer. First, the administration menu is only displayed to users in roles with the <em>Access administration menu</em> (admin_menu module) permission. Second, a user must be a member of a role with the <em>Access administration pages</em> (system module) permission to view administrative links. And, third, only currently permitted links are displayed; for example, if a user is not a member of a role with the permissions <em>Administer permissions</em> (user module) and <em>Administer users</em> (user module), the <em>User management</em> menu item is not displayed.') . '</p>';
22 return $output;
23 }
24 }
25
26 /**
27 * Implementation of hook_permission().
28 */
29 function admin_menu_permission() {
30 return array(
31 'access administration menu' => array(
32 'title' => t('Access administration menu'),
33 'description' => t('Display the administration menu at the top of each page.'),
34 ),
35 'display drupal links' => array(
36 'title' => t('Display Drupal links'),
37 'description' => t('Provide Drupal.org links in the administration menu.'),
38 ),
39 );
40 }
41
42 /**
43 * Implementation of hook_theme().
44 */
45 function admin_menu_theme() {
46 return array(
47 'admin_menu_links' => array(
48 'render element' => 'elements',
49 ),
50 'admin_menu_icon' => array(
51 'variables' => array(),
52 'file' => 'admin_menu.inc',
53 ),
54 );
55 }
56
57 /**
58 * Implementation of hook_menu().
59 */
60 function admin_menu_menu() {
61 // AJAX callback.
62 // @see http://drupal.org/project/js
63 $items['js/admin_menu/cache'] = array(
64 'page callback' => 'admin_menu_js_cache',
65 'access arguments' => array('access administration menu'),
66 'type' => MENU_CALLBACK,
67 );
68 // Module settings.
69 $items['admin/config/administration'] = array(
70 'title' => 'Administration',
71 'description' => 'Administration tools.',
72 'page callback' => 'system_admin_menu_block_page',
73 'access arguments' => array('access administration pages'),
74 'file' => 'system.admin.inc',
75 'file path' => drupal_get_path('module', 'system'),
76 );
77 $items['admin/config/administration/admin_menu'] = array(
78 'title' => 'Administration menu',
79 'description' => 'Adjust administration menu settings.',
80 'page callback' => 'drupal_get_form',
81 'page arguments' => array('admin_menu_theme_settings'),
82 'access arguments' => array('administer site configuration'),
83 'file' => 'admin_menu.inc',
84 );
85 // Menu link callbacks.
86 $items['admin_menu/toggle-modules'] = array(
87 'page callback' => 'admin_menu_toggle_modules',
88 'access arguments' => array('administer site configuration'),
89 'type' => MENU_CALLBACK,
90 'file' => 'admin_menu.inc',
91 );
92 $items['admin_menu/flush-cache'] = array(
93 'page callback' => 'admin_menu_flush_cache',
94 'access arguments' => array('administer site configuration'),
95 'type' => MENU_CALLBACK,
96 'file' => 'admin_menu.inc',
97 );
98 return $items;
99 }
100
101 /**
102 * Implementation of hook_menu_alter().
103 */
104 function admin_menu_menu_alter(&$items) {
105 foreach ($items as $path => $item) {
106 if (!strncmp($path, 'admin/', 6) && isset($item['type'])) {
107 // To avoid namespace clashes, content-type menu items are registered
108 // on a separate path. Copy these items with the proper router path and
109 // make them visible.
110 // @todo Is there another possibility to re-assign these items to their
111 // true parent (admin/structure/types) during menu rebuild to avoid the
112 // (possibly) clashing copying?
113 if (strpos($path, 'admin/structure/node-type/') === 0) {
114 // Copy item with fixed router path.
115 $newpath = str_replace('/node-type/', '/types/', $path);
116 $items[$newpath] = $item;
117 // Use new item from here, but leave old intact to play nice with
118 // others.
119 $path = $newpath;
120 // Turn MENU_CALLBACK items into visible menu items.
121 if ($item['type'] == MENU_CALLBACK) {
122 $items[$path]['type'] = MENU_NORMAL_ITEM;
123 }
124 }
125 // Trick local tasks and actions into the visible menu tree.
126 if ($item['type'] & MENU_IS_LOCAL_TASK) {
127 $items[$path]['_visible'] = TRUE;
128 }
129 }
130 }
131
132 // Remove local tasks on 'admin'.
133 $items['admin/by-task']['_visible'] = FALSE;
134 $items['admin/by-module']['_visible'] = FALSE;
135 // Move 'Add new content' to the start of the menu.
136 $items['node/add']['weight'] = -15;
137
138 // Flush client-side caches whenever the menu is rebuilt.
139 admin_menu_flush_caches();
140 }
141
142 /**
143 * Copy a menu router item to another location.
144 *
145 * Adjusts numeric path argument references for various menu router item
146 * properties.
147 *
148 * @param $item
149 * The existing menu router item.
150 * @param $old_path
151 * The existing path of $item, f.e. 'node/add'.
152 * @param $new_path
153 * The path to copy the menu router item to, f.e. 'admin/node/add'.
154 * @return
155 * The menu router item with adjusted path argument references.
156 */
157 function admin_menu_copy_item($item, $old_path, $new_path) {
158 $offset = count(explode('/', $new_path)) - count(explode('/', $old_path));
159 if ($offset != 0) {
160 foreach (array('page arguments', 'access arguments', 'load arguments', 'title arguments') as $args) {
161 if (!empty($item[$args])) {
162 foreach ($item[$args] as $key => $value) {
163 if (is_numeric($value)) {
164 $item[$args][$key] = $value + $offset;
165 }
166 }
167 }
168 }
169 }
170 return $item;
171 }
172
173 /**
174 * Implementation of hook_init().
175 *
176 * We can't move this into admin_menu_footer(), because PHP-only based themes
177 * like chameleon load and output scripts and stylesheets in front of
178 * theme_closure(), so we ensure Admin menu's styles and scripts are loaded on
179 * all pages via hook_init().
180 */
181 function admin_menu_init() {
182 if (!user_access('access administration menu') || admin_menu_suppress(FALSE)) {
183 return;
184 }
185 // Performance: Skip this entirely for AJAX requests.
186 if (strpos($_GET['q'], 'js/') === 0) {
187 return;
188 }
189 global $user, $language;
190
191 $path = drupal_get_path('module', 'admin_menu');
192 drupal_add_css($path . '/admin_menu.css', array('preprocess' => FALSE));
193 if ($user->uid == 1) {
194 drupal_add_css($path . '/admin_menu.uid1.css', array('preprocess' => FALSE));
195 }
196 // Performance: Defer execution.
197 drupal_add_js($path . '/admin_menu.js', array('defer' => TRUE));
198
199 // Destination query strings are applied via JS.
200 $settings['destination'] = drupal_http_build_query(drupal_get_destination());
201
202 // Hash for client-side HTTP/AJAX caching.
203 $cid = 'admin_menu:' . $user->uid . ':' . $language->language;
204 if (!empty($_COOKIE['has_js']) && ($hash = admin_menu_cache_get($cid))) {
205 $settings['hash'] = $hash;
206 // The base path to use for cache requests depends on whether clean URLs
207 // are enabled, whether Drupal runs in a sub-directory, and on the language
208 // system configuration. url() already provides us the proper path and also
209 // invokes potentially existing custom_url_rewrite() functions, which may
210 // add further required components to the URL to provide context. Due to
211 // those components, and since url('') returns only base_path() when clean
212 // URLs are disabled, we need to use a replacement token as path. Yuck.
213 $settings['basePath'] = url('admin_menu');
214 }
215
216 $replacements = module_invoke_all('admin_menu_replacements');
217 if (!empty($replacements)) {
218 $settings['replacements'] = $replacements;
219 }
220
221 if ($setting = variable_get('admin_menu_margin_top', 1)) {
222 $settings['margin_top'] = $setting;
223 }
224 if ($setting = variable_get('admin_menu_position_fixed', 0)) {
225 $settings['position_fixed'] = $setting;
226 }
227 if ($setting = variable_get('admin_menu_tweak_tabs', 0)) {
228 $settings['tweak_tabs'] = $setting;
229 }
230 if ($_GET['q'] == 'admin/config/modules' || strpos($_GET['q'], 'admin/config/modules/list') === 0) {
231 $settings['tweak_modules'] = variable_get('admin_menu_tweak_modules', 0);
232 }
233
234 drupal_add_js(array('admin_menu' => $settings), 'setting');
235 }
236
237 /**
238 * Suppress display of administration menu.
239 *
240 * This function should be called from within another module's page callback
241 * (preferably using module_invoke()) when the menu should not be displayed.
242 * This is useful for modules that implement popup pages or other special
243 * pages where the menu would be distracting or break the layout.
244 *
245 * @param $set
246 * Defaults to TRUE. If called before hook_footer(), the menu will not be
247 * displayed. If FALSE is passed, the suppression state is returned.
248 */
249 function admin_menu_suppress($set = TRUE) {
250 static $suppress = FALSE;
251 // drupal_add_js() must only be invoked once.
252 if (!empty($set) && $suppress === FALSE) {
253 $suppress = TRUE;
254 drupal_add_js(array('admin_menu' => array('suppress' => 1)), 'setting');
255 }
256 return $suppress;
257 }
258
259 /**
260 * Implementation of hook_page_alter().
261 */
262 function admin_menu_page_alter(&$page) {
263 $page['page_bottom']['admin_menu'] = array(
264 '#markup' => admin_menu_output(),
265 );
266 }
267
268 /**
269 * Implementation of hook_js().
270 */
271 function admin_menu_js() {
272 return array(
273 'cache' => array(
274 'callback' => 'admin_menu_js_cache',
275 'includes' => array('common', 'theme', 'unicode'),
276 'dependencies' => array('devel', 'filter', 'user'),
277 ),
278 );
279 }
280
281 /**
282 * Retrieve a client-side cache hash from cache.
283 *
284 * The hash cache is consulted more than once per request; we therefore cache
285 * the results statically to avoid multiple database requests.
286 *
287 * This should only be used for client-side cache hashes. Use cache_menu for
288 * administration menu content.
289 *
290 * @param $cid
291 * The cache ID of the data to retrieve.
292 */
293 function admin_menu_cache_get($cid) {
294 static $cache = array();
295
296 if (!variable_get('admin_menu_cache_client', TRUE)) {
297 return FALSE;
298 }
299 if (!array_key_exists($cid, $cache)) {
300 $cache[$cid] = cache_get($cid, 'cache_admin_menu');
301 if ($cache[$cid] && isset($cache[$cid]->data)) {
302 $cache[$cid] = $cache[$cid]->data;
303 }
304 }
305
306 return $cache[$cid];
307 }
308
309 /**
310 * Store a client-side cache hash in persistent cache.
311 *
312 * This should only be used for client-side cache hashes. Use cache_menu for
313 * administration menu content.
314 *
315 * @param $cid
316 * The cache ID of the data to retrieve.
317 */
318 function admin_menu_cache_set($cid, $data) {
319 if (variable_get('admin_menu_cache_client', TRUE)) {
320 cache_set($cid, $data, 'cache_admin_menu');
321 }
322 }
323
324 /**
325 * Menu callback; Output administration menu for HTTP caching via AJAX request.
326 */
327 function admin_menu_js_cache($hash = NULL) {
328 // Get the rendered menu.
329 $content = admin_menu_output();
330
331 // @todo According to http://www.mnot.net/blog/2006/05/11/browser_caching,
332 // IE will only cache the content when it is compressed.
333 // Determine if the client accepts gzipped data.
334 if (isset($_SERVER['HTTP_ACCEPT_ENCODING'])) {
335 if (strpos($_SERVER['HTTP_ACCEPT_ENCODING'], 'x-gzip') !== FALSE) {
336 $encoding = 'x-gzip';
337 }
338 elseif (strpos($_SERVER['HTTP_ACCEPT_ENCODING'], 'gzip') !== FALSE) {
339 $encoding = 'gzip';
340 }
341 // Perform gzip compression when:
342 // 1) the user agent supports gzip compression.
343 // 2) Drupal page compression is enabled. Sites may wish to perform the
344 // compression at the web server level (e.g. using mod_deflate).
345 // 3) PHP's zlib extension is loaded, but zlib compression is disabled.
346 if (isset($encoding) && variable_get('page_compression', TRUE) && extension_loaded('zlib') && zlib_get_coding_type() === FALSE) {
347 // Use Vary header to tell caches to keep separate versions of the menu
348 // based on user agent capabilities.
349 header('Vary: Accept-Encoding');
350 // Since we manually perform compression, we are also responsible to
351 // send a proper encoding header.
352 header('Content-Encoding: ' . $encoding);
353 $content = gzencode($content, 9, FORCE_GZIP);
354 }
355 }
356
357 $expires = REQUEST_TIME + (3600 * 24 * 365);
358 header('Expires: ' . gmdate(DATE_RFC1123, $expires));
359 header('Last-Modified: ' . gmdate(DATE_RFC1123, REQUEST_TIME));
360 header('Cache-Control: max-age=' . $expires);
361 header('Content-Length: ' . strlen($content));
362
363 // Suppress Devel module.
364 $GLOBALS['devel_shutdown'] = FALSE;
365 echo $content;
366 exit;
367 }
368
369 /**
370 * Implementation of hook_admin_menu_replacements().
371 */
372 function admin_menu_admin_menu_replacements() {
373 $items = array();
374 if ($user_count = admin_menu_get_user_count()) {
375 $items['.admin-menu-users a'] = $user_count;
376 }
377 return $items;
378 }
379
380 /**
381 * Return count of online anonymous/authenticated users.
382 *
383 * @see user_block(), user.module
384 */
385 function admin_menu_get_user_count() {
386 $interval = REQUEST_TIME - variable_get('user_block_seconds_online', 900);
387 $count_anon = drupal_session_count($interval, TRUE);
388 $count_auth = drupal_session_count($interval, FALSE);
389
390 return t('@count-anon / @count-auth', array('@count-anon' => $count_anon, '@count-auth' => $count_auth));
391 }
392
393 /**
394 * Build the administration menu output.
395 */
396 function admin_menu_output() {
397 if (!user_access('access administration menu') || admin_menu_suppress(FALSE)) {
398 return;
399 }
400 global $user, $language;
401
402 $cache_server_enabled = variable_get('admin_menu_cache_server', TRUE);
403 $cid = 'admin_menu:' . $user->uid . ':' . $language->language;
404
405 // Do nothing at all here if the client supports client-side caching, the user
406 // has a hash, and is NOT requesting the cache update path. Consult the hash
407 // cache last, since it requires a DB request.
408 // @todo Implement a sanity-check to prevent permanent double requests; i.e.
409 // what if the client-side cache fails for any reason and performs a second
410 // request on every page?
411 if (!empty($_COOKIE['has_js']) && strpos($_GET['q'], 'js/admin_menu/cache') !== 0) {
412 if (admin_menu_cache_get($cid)) {
413 return;
414 }
415 }
416
417 // Try to load and output administration menu from server-side cache.
418 if ($cache_server_enabled) {
419 $cache = cache_get($cid, 'cache_menu');
420 if ($cache && isset($cache->data)) {
421 $content = $cache->data;
422 }
423 }
424
425 // Rebuild the output.
426 if (!isset($content)) {
427 // Add site name as CSS class for development/staging theming purposes. We
428 // leverage the cookie domain instead of HTTP_HOST to account for many (but
429 // not all) multi-domain setups (e.g. language-based sub-domains).
430 $class_site = 'admin-menu-site' . drupal_strtolower(preg_replace('/[^a-zA-Z0-9-]/', '-', $GLOBALS['cookie_domain']));
431 // @todo Always output container to harden JS-less support.
432 $content['#prefix'] = '<div id="admin-menu" class="' . $class_site . '"><div id="admin-menu-wrapper"><ul>';
433 $content['#suffix'] = '</ul></div></div>';
434
435 // Load menu builder functions.
436 module_load_include('inc', 'admin_menu');
437
438 // Add administration menu.
439 $content['menu'] = admin_menu_links_menu(menu_tree_all_data('management'));
440 $content['menu']['#theme'] = 'admin_menu_links';
441 // Ensure the menu tree is rendered between the icon and user links.
442 $content['menu']['#weight'] = 0;
443 // Do not sort the menu tree, since it is sorted already.
444 $content['menu']['#sorted'] = TRUE;
445
446 // Add menu additions.
447 $content['icon'] = admin_menu_links_icon();
448 $content['user'] = admin_menu_links_user();
449
450 // Allow modules to alter the output.
451 drupal_alter('admin_menu_output', $content);
452 $content = drupal_render($content);
453
454 // Cache the menu for this user.
455 if ($cache_server_enabled) {
456 cache_set($cid, $content, 'cache_menu');
457 }
458 }
459
460 // Store the new hash for this user.
461 if (!empty($_COOKIE['has_js'])) {
462 admin_menu_cache_set($cid, md5($content));
463 }
464
465 return $content;
466 }
467
468 /**
469 * Render a themed list of links.
470 *
471 * @param $variables
472 * - elements: A structured drupal_render()-array of links using the following
473 * keys:
474 * - #attributes: Optional array of attributes for the list item, processed
475 * via drupal_attributes().
476 * - #title: Title of the link, passed to l().
477 * - #href: Optional path of the link, passed to l(). When omitted, the
478 * element's '#title' is rendered without link.
479 * - #description: Optional alternative text for the link, passed to l().
480 * - #options: Optional alternative text for the link, passed to l().
481 * The array key of each child element itself is passed as path for l().
482 * - depth: Current recursion level; internal use only.
483 */
484 function theme_admin_menu_links($variables) {
485 static $destination;
486 $elements = $variables['elements'];
487 $depth = (isset($variables['depth']) ? $variables['depth'] : 0);
488
489 if (!isset($destination)) {
490 $destination = drupal_get_destination();
491 $destination = $destination['destination'];
492 }
493
494 $output = '';
495 $depth_child = $depth + 1;
496 foreach (element_children($elements, TRUE) as $path) {
497 // Early-return nothing if user does not have access.
498 if (isset($elements[$path]['#access']) && !$elements[$path]['#access']) {
499 continue;
500 }
501 $elements[$path] += array(
502 '#attributes' => array(),
503 '#options' => array(),
504 );
505 // Render children to determine whether this link is expandable.
506 if (isset($elements[$path]['#type']) || isset($elements[$path]['#theme'])) {
507 $elements[$path]['#admin_menu_depth'] = $depth_child;
508 $elements[$path]['#children'] = drupal_render($elements[$path]);
509 }
510 else {
511 // Inherit #sorted flag from parent item.
512 if (isset($elements['#sorted'])) {
513 $elements[$path]['#sorted'] = TRUE;
514 }
515 $elements[$path]['#children'] = theme('admin_menu_links', array('elements' => $elements[$path], 'depth' => $depth_child));
516 if (!empty($elements[$path]['#children'])) {
517 $elements[$path]['#attributes']['class'][] = 'expandable';
518 }
519 if (isset($elements[$path]['#attributes']['class'])) {
520 $elements[$path]['#attributes']['class'] = $elements[$path]['#attributes']['class'];
521 }
522 }
523
524 $link = '';
525 if (isset($elements[$path]['#href'])) {
526 // Strip destination query string from href attribute and apply a CSS class
527 // for our JavaScript behavior instead.
528 if (isset($elements[$path]['#options']['query']['destination']) && $elements[$path]['#options']['query']['destination'] == $destination) {
529 unset($elements[$path]['#options']['query']['destination']);
530 $elements[$path]['#options']['attributes']['class'][] = 'admin-menu-destination';
531 }
532
533 $link .= l($elements[$path]['#title'], $elements[$path]['#href'], $elements[$path]['#options']);
534 }
535 elseif (isset($elements[$path]['#title'])) {
536 if (!empty($elements[$path]['#options']['html'])) {
537 $title = $elements[$path]['#title'];
538 }
539 else {
540 $title = check_plain($elements[$path]['#title']);
541 }
542 if (!empty($elements[$path]['#options']['attributes'])) {
543 $link .= '<span' . drupal_attributes($elements[$path]['#options']['attributes']) . '>' . $title . '</span>';
544 }
545 else {
546 $link .= $title;
547 }
548 }
549
550 $output .= '<li' . drupal_attributes($elements[$path]['#attributes']) . '>';
551 $output .= $link . $elements[$path]['#children'];
552 $output .= '</li>';
553 }
554 // @todo #attributes probably required for UL, but already used for LI.
555 // @todo Use $element['#children'] here instead.
556 if ($output && $depth > 0) {
557 $output = "\n<ul>" . $output . '</ul>';
558 }
559 return $output;
560 }
561
562 /**
563 * Implementation of hook_translated_menu_link_alter().
564 *
565 * Here is where we make changes to links that need dynamic information such
566 * as the current page path or the number of users.
567 */
568 function admin_menu_translated_menu_link_alter(&$item, $map) {
569 global $user, $base_url;
570 static $access_all;
571
572 if ($item['menu_name'] != 'admin_menu') {
573 return;
574 }
575
576 // Check whether additional development output is enabled.
577 if (!isset($access_all)) {
578 $access_all = variable_get('admin_menu_show_all', 0) && module_exists('devel');
579 }
580 // Prepare links that would not be displayed normally.
581 if ($access_all && !$item['access']) {
582 $item['access'] = TRUE;
583 // Prepare for http://drupal.org/node/266596
584 if (!isset($item['localized_options'])) {
585 _menu_item_localize($item, $map, TRUE);
586 }
587 }
588
589 // Don't waste cycles altering items that are not visible
590 if (!$item['access']) {
591 return;
592 }
593
594 // Add developer information to all links, if enabled.
595 if ($extra = variable_get('admin_menu_display', 0)) {
596 $item['title'] .= ' ' . $extra[0] . ': ' . $item[$extra];
597 }
598 }
599
600 /**
601 * Implementation of hook_flush_caches().
602 *
603 * Flush client-side caches.
604 */
605 function admin_menu_flush_caches() {
606 // Flush cached output of admin_menu.
607 cache_clear_all('admin_menu:', 'cache_menu', TRUE);
608 // Flush client-side cache hashes.
609 // db_table_exists() required for SimpleTest.
610 if (db_table_exists('cache_admin_menu')) {
611 cache_clear_all('*', 'cache_admin_menu', TRUE);
612 }
613 }
614
615 /**
616 * Implementation of hook_form_FORM_ID_alter().
617 *
618 * Form submit handler to flush client-side cache hashes when clean URLs are toggled.
619 */
620 function admin_menu_form_system_clean_url_settings_alter(&$form, $form_state) {
621 $form['#submit'][] = 'admin_menu_flush_caches';
622 }
623
624 /**
625 * Implementation of hook_form_FORM_ID_alter().
626 *
627 * Extends Devel module with Administration menu developer settings.
628 */
629 function admin_menu_form_devel_admin_settings_alter(&$form, &$form_state) {
630 module_load_include('inc', 'admin_menu');
631 _admin_menu_form_devel_admin_settings_alter($form, $form_state);
632 }

  ViewVC Help
Powered by ViewVC 1.1.2