devel_menu_title_theme_developer

Versions

mediamosa-21

devel_menu_title_theme_developer()

Code

sites/all/modules/devel/devel.module, line 261

<?php
function devel_menu_title_theme_developer() {
  if (module_exists('devel_themer')) {
    return t('Disable Theme developer');
  }
  else {
    return t('Enable Theme developer');
  }
}
?>