MediaWiki:Common.js: Difference between revisions
No edit summary |
No edit summary |
||
| Line 20: | Line 20: | ||
if($duplicates) $duplicates.parentElement.removeChild($duplicates); | if($duplicates) $duplicates.parentElement.removeChild($duplicates); | ||
}else{ | }else{ | ||
$searchBox = document.querySelector('.mw-htmlform-ooui-wrapper') | $searchBox = document.querySelector('.mw-htmlform-ooui-wrapper'); | ||
if($searchBox) $searchBox.style.display = 'block'; | if($searchBox) $searchBox.style.display = 'block'; | ||
} | } | ||