MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
| Line 896: | Line 896: | ||
} | } | ||
doHighlight(); | |||
} | } | ||
| Line 956: | Line 956: | ||
try { sessionStorage.removeItem( 'gr_search_hl' ); } catch(e) {} | try { sessionStorage.removeItem( 'gr_search_hl' ); } catch(e) {} | ||
var delays = [ | var delays = [0, 200, 600]; | ||
delays.forEach( function(ms) { | delays.forEach( function(ms) { | ||
setTimeout( function () { | setTimeout( function () { | ||