const ext_table = {
+ 'bf' : 'BRAINFUCK',
+
'c' : 'C',
+ 'd' : 'D',
+
'cc' : 'CPP',
'cpp' : 'CPP',
'cxx' : 'CPP',
'java': 'JAVA',
+ 'jl' : 'JULIA',
+
+ 'ml' : 'OCAML',
+
'pas' : 'PASCAL',
'pl' : 'PERL',
+ 'php' : 'PHP',
+
'py' : 'PYTHON',
- 'rb' : 'RUBY'
+ 'rb' : 'RUBY',
+
+ 'rs' : 'RUST'
}
function divine_format() {
- const filename = $('#prog')[0].value;
+ const filename = q('#prog').value;
const ext = /\.([^.]*)$/.exec(filename)[1];
if(ext_table[ext])
- $('#prog_format')[0].value = ext_table[ext];
+ q('#prog_format').value = ext_table[ext];
}
$(() => $('#prog').on('change', divine_format));