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

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