core: user-import: enhanced

This commit is contained in:
undefined committed 2022-11-28 17:33:28 +08:00
1 parent 27528f9a4d
commit 89fb04bfb3
4 files changed
+34 -18

No files matched your search

+2
View File
@@ -57,8 +57,10 @@ pager_previous: ‹ Previous
perm_contest: Contests
perm_discussion: Discussions
perm_general: General
perm_homework: Homework
perm_problem_solution: Problem Solutions
perm_problem: Problems
perm_ranking: Ranking
perm_record: Records
perm_training: Trainings
problem_create: Problem Create