protected function tearDown()
 {
     global $wgGroupPermissions;
     global $wgUser;
     $wgGroupPermissions = $this->permissions;
     if ($this->old_user) {
         // should not be null, but sometimes, it is
         $wgUser = $this->old_user;
     }
     parent::tearDown();
 }