A Drupal module. See https://www.drupal.org/project/admin_toggle