admin_form_user_admin_account_alter(&$form)contrib-6/admin/admin.module, line 156
<?php
function admin_form_user_admin_account_alter(&$form) {
// If the admin theme has been inited, do some additional work.
global $theme;
if ($theme == 'admin') {
unset($form['options']['#type']);
unset($form['options']['#prefix']);
unset($form['options']['#suffix']);
$form['options']['#theme'] = 'admin_manage_options';
}
}
?>