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{ | ||
document.querySelector('.mw-htmlform-ooui-wrapper').style.display='block'; | $searchBox = document.querySelector('.mw-htmlform-ooui-wrapper').style.display='block'; | ||
if($searchBox) $searchBox.style.display = 'block'; | |||
} | } | ||
/* 이 자바스크립트 설정은 모든 문서, 모든 사용자에게 적용됩니다. */ | /* 이 자바스크립트 설정은 모든 문서, 모든 사용자에게 적용됩니다. */ | ||