Searched +full:error +(+path:plugin +path:judge) -(+path:plugin +path:judge +path:lang) (Results 1 – 1 of 1) sorted by relevance
74 … document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];80 … document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];112 … document.getElementById("result-label-" + problem_name).innerHTML = LANG.plugins.judge['error'];