Jason Yuen

Upgrade Zig to version 0.13.0

4

The current version is Zig 0.6.0 (released April 2020). Update to Zig 0.13.0 (released June 2024). Also, update the test program because it may no longer compile.

Use full sentences in help_text

1

This makes the help text more readable. For example:  Also, change `base32` to `Base32`.

Add i18n to js messages

1

Translate these messages: - error when voting, e.g. attempt to self-vote - warning popup when hiding comment - error when hiding comment - "updated" message after editing a comment -...

Add i18n to server-side messages

1

Affected pages: - `/admin/judge/contest/1/change/` > Problems > Rejudge column - `/admin/judge/judge/add/` > Regenerate button - `/admin/judge/submission/` > Rejudge button (and Locked button, if sub is locked) - `/contest/c1/participations/` page's title...

Fix i18n messages

1

more minor message fixes

Add plurals to: - moss results - `/problem/aplusb/manage/submission` > Rescore Everything's message

Fix scratch code's copy button

1

Fix the scratch code's copy button on the edit profile page. Also, mark some i18n strings as translatable. 

Allow sorting of organization's user list

1

Closes #1483. Makes #1533 redundant. Allows sorting for the organization user list, and the class user list. Also, clean up the css so that the headers are displayed as white.

Remove dead settings

2

`DEFAULT_SELECT2_*`: Tested by visiting `/admin/judge/problem/1/change/`. Version `4.0.3` (May 2016) still works, so there is no need to upgrade. `JUDGE_AMQP_PATH`: Dead according to `git log -G JUDGE_AMQP_PATH`.