MediaWiki:Common.js: Difference between revisions

No edit summary
No edit summary
Line 896: Line 896:
     }
     }


     setTimeout( doHighlight, 600 );
     doHighlight();
   }
   }


Line 956: Line 956:
     try { sessionStorage.removeItem( 'gr_search_hl' ); } catch(e) {}
     try { sessionStorage.removeItem( 'gr_search_hl' ); } catch(e) {}


     var delays = [400, 900, 1500];
     var delays = [0, 200, 600];
     delays.forEach( function(ms) {
     delays.forEach( function(ms) {
       setTimeout( function () {
       setTimeout( function () {