materio-base-d7/sites/all/modules/gui/editmenu/editmenu_devel.module

<?php

/**
 * @file
 * Prepend the devel menu to Editmenu.
 */

/**
 * Implementation of hook_editmenu_tree_alter()
 */
function editmenu_devel_editmenu_tree_alter(&$tree) {
  if (user_access('access devel information')) {
    $devel = array(
      'link' => array(
        'mlid' => 0,
        'menu_name' => 'devel',
        'hidden' => FALSE,
        'access' => TRUE,
        'title' => t('Devel module'),
        'href' => 'admin/settings/devel',
        'in_active_trail' => FALSE,
        'has_children' => TRUE,
        'localized_options' => array(
          'attributes' => array('id' => 'editmenu_devel'),
        ),
      ),
      'below' => editmenu_menu_tree('devel:0'),
    );
    array_unshift($tree, $devel);
  }
}

// vim: ts=2 sw=2 et syntax=php