Calling all Drupal developers!
Help us get this on the first page of Digg. DIGG NOW!
Help us get this on the first page of Digg. DIGG NOW!
devel_themer_init()
contributions/devel/devel_themer.module, line 55
<?php
function devel_themer_init() {
if (user_access('access devel information')) {
$path = drupal_get_path('module', 'devel_themer');
// we inject our HTML after page has loaded we have to add this manually.
if (has_krumo()) {
drupal_add_js($path. '/krumo/krumo.js');
drupal_add_css($path. '/krumo/skins/default/skin.css');
}
drupal_add_css($path .'/devel_themer.css');
drupal_add_js($path .'/devel_themer.js');
// The order these last two are loaded is important.
drupal_add_js($path .'/ui.mouse.js');
drupal_add_js($path .'/ui.draggable.js');
// This needs to happen after all the other CSS.
drupal_set_html_head('<!--[if IE]>
<link href="' . $path .'/devel_themer_ie_fix.css" rel="stylesheet" type="text/css" media="screen" />
<![endif]-->');
devel_themer_popup();
if (!devel_silent() && variable_get('devel_themer_log', FALSE)) {
register_shutdown_function('devel_themer_shutdown');
}
}
}
?>