annotate public/javascripts/repository.js @ 1355:3d01be97cb5a bug_635

Fix routes and safe attributes for the external repo settings

function toggle_ext_url() {
    if (document.getElementById('repository_is_external').checked) {
        document.getElementById('repository_external_url').disabled = false;
    } else {
	document.getElementById('repository_external_url').disabled = true;
    }
}