미디어위키:Common.js: 두 판 사이의 차이

6 바이트 제거됨 ,  2023년 9월 24일 (일)
편집 요약 없음
편집 요약 없음
편집 요약 없음
7번째 줄: 7번째 줄:
         const checkbox = $('#citizen-search__checkbox');
         const checkbox = $('#citizen-search__checkbox');
         if (!checkbox.is(':checked')) {
         if (!checkbox.is(':checked')) {
        $('#citizen-search__checkbox').prop('checked', true);
$('#citizen-search__checkbox').prop('checked', true);
$('#searchInput').focus();
$('#searchInput').focus();
         }
         }