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

39 바이트 추가됨 ,  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);
checkbox.prop('checked', true);
$('#searchInput').focus();
$('#searchInput').focus();
        } else {
        checkbox.prop('checked', false);
         }
         }
         });
         });
     }
     }
});
});