function devel_cache_clear

Page callback: Clears all caches, then redirects to the previous page.

1 string reference to 'devel_cache_clear'
devel_menu in ./devel.module
Implements hook_menu().

File

./devel.pages.inc, line 37

Code

function devel_cache_clear() {
    if (!isset($_GET['token']) || !drupal_valid_token($_GET['token'], 'devel-cache-clear')) {
        return MENU_ACCESS_DENIED;
    }
    drupal_flush_all_caches();
    drupal_set_message(t('Cache cleared.'));
    drupal_goto();
}