plugins/SpecialAdmin.php
changeset 210 2b283402e4e4
parent 208 c75ad574b56d
child 215 94db56b8124f
equal deleted inserted replaced
209:8a00247d1dee 210:2b283402e4e4
  2618         document.getElementById('ajaxPageContainer').innerHTML = '<div class="error-box">Because of the lack of AJAX support, support for Internet Explorer versions less than 6.0 has been disabled in Runt. You can download and use Mozilla Firefox (or Seamonkey under Windows 95); both have an up-to-date standards-compliant rendering engine that has been tested thoroughly with Enano.</div>';
  2618         document.getElementById('ajaxPageContainer').innerHTML = '<div class="error-box">Because of the lack of AJAX support, support for Internet Explorer versions less than 6.0 has been disabled in Runt. You can download and use Mozilla Firefox (or Seamonkey under Windows 95); both have an up-to-date standards-compliant rendering engine that has been tested thoroughly with Enano.</div>';
  2619         return false;
  2619         return false;
  2620       }
  2620       }
  2621       if ( t == namespace_list.Admin + 'AdminLogout' )
  2621       if ( t == namespace_list.Admin + 'AdminLogout' )
  2622       {
  2622       {
  2623         var mb = new messagebox(MB_YESNO|MB_ICONQUESTION, 'Are you sure you want to de-authenticate?', 'If you de-authenticate, you will no longer be able to use the administration panel until you re-authenticate again. You may do so at any time using the Administration button on the sidebar.');
  2623         var mb = new messagebox(MB_YESNO|MB_ICONQUESTION, $lang.get('user_logout_confirm_title_elev'), $lang.get('user_logout_confirm_body_elev'));
  2624         mb.onclick['Yes'] = function() {
  2624         mb.onclick['Yes'] = function() {
  2625           var tigraentry = document.getElementById('i_div0_0').parentNode;
  2625           var tigraentry = document.getElementById('i_div0_0').parentNode;
  2626           var tigraobj = $(tigraentry);
  2626           var tigraobj = $(tigraentry);
  2627           var div = document.createElement('div');
  2627           var div = document.createElement('div');
  2628           div.style.backgroundColor = '#FFFFFF';
  2628           div.style.backgroundColor = '#FFFFFF';