'checkbox', '#title' => t('Rebuild theme registry on every page.'), '#default_value' => $saved_settings['clean_rebuild_registry'], '#description' => t('During theme development, it can be very useful to continuously rebuild the theme registry.
WARNING: this is a huge performance penalty and must be turned off on production websites.', array('!link' => 'http://drupal.org/node/173880#theme-registry')), ); return $form; }