Searched refs:all_doctypes (Results 1 – 2 of 2) sorted by relevance
11 var all_doctypes = { variable85 $.each(all_doctypes, function(doctype, title) {88 all_doctypes[current_doctype] + '</option>');92 if (!(current_doctype in all_doctypes)) {96 all_doctypes[current_doctype] = current_doctype;
20 var all_doctypes = { variable91 $.each(all_doctypes, function(doctype, title) {94 all_doctypes[current_doctype] + '</option>');98 if (!(current_doctype in all_doctypes)) {99 // In case we're browsing a doctype that is not yet in all_doctypes.102 all_doctypes[current_doctype] = current_doctype;