diff options
Diffstat (limited to 'skins/common/search.js')
-rw-r--r-- | skins/common/search.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/skins/common/search.js b/skins/common/search.js index 370d8899359d..26d807db1f72 100644 --- a/skins/common/search.js +++ b/skins/common/search.js @@ -20,7 +20,7 @@ window.mwSearchHeaderClick = function( obj ) { prefix = '&search='; } obj.href = parts[0] + prefix + encodeURIComponent( searchterm ) + lastpart; -} +}; window.mwToggleSearchCheckboxes = function( btn ) { if( !document.getElementById ) { @@ -47,4 +47,4 @@ window.mwToggleSearchCheckboxes = function( btn ) { } } } -} +}; |