core: langs: drop lang.domain option

pull/584/head
undefined 1 year ago
parent fa75a0ddda
commit 6150be8723
No known key found for this signature in database

@ -9,11 +9,10 @@ import markdown from './backendlib/markdown';
class WikiHelpHandler extends Handler { class WikiHelpHandler extends Handler {
noCheckPermView = true; noCheckPermView = true;
async get({ domainId }) { async get() {
const LANGS = SettingModel.langs; const LANGS = SettingModel.langs;
const languages = {}; const languages = {};
for (const key in LANGS) { for (const key in LANGS) {
if (LANGS[key].domain && !LANGS[key].domain.includes(domainId)) continue;
if (LANGS[key].hidden) continue; if (LANGS[key].hidden) continue;
languages[`${LANGS[key].display}(${key})`] = LANGS[key].compile || LANGS[key].execute; languages[`${LANGS[key].display}(${key})`] = LANGS[key].compile || LANGS[key].execute;
} }

@ -9,7 +9,6 @@ export interface LangConfig {
monaco: string; monaco: string;
time_limit_rate: number; time_limit_rate: number;
memory_limit_rate: number; memory_limit_rate: number;
domain: string[];
display: string; display: string;
target?: string; target?: string;
key: string; key: string;

Loading…
Cancel
Save