core: add file edit hook

This commit is contained in:
undefined committed 2021-04-10 01:18:06 +08:00
1 parent 32df811bfa
commit 76615e0f5d
5 files changed
+18 -6

No files matched your search

+7 -2
View File
@@ -95,7 +95,11 @@ export interface User extends Dictionary<any> {
export type Udict = NumericDictionary<User>;
export interface FileInfo {
/** duplicate to filename */
_id: string,
/** filename */
name: string,
/** file size (in bytes) */
size: number,
etag: string,
lastModified: Date,
@@ -139,6 +143,7 @@ export interface ProblemConfig {
interactor?: string,
user_extra_files?: string[],
judge_extra_files?: string[],
outputs?: [string, number][],
cases?: TestCaseConfig[],
subtasks?: SubtaskConfig[],
}
@@ -189,8 +194,8 @@ declare module './model/problem' {
difficulty?: number,
/** @deprecated */
category?: string[],
/** @deprecated */
config: any,
config: string,
}
}
export type { Pdoc } from './model/problem';