chris@1355: function toggle_ext_url() {
chris@1355:     if (document.getElementById('repository_is_external').checked) {
chris@1355:         document.getElementById('repository_external_url').disabled = false;
chris@1355:     } else {
chris@1355: 	document.getElementById('repository_external_url').disabled = true;
chris@1355:     }
luis@212: }
luis@212: