Alan Guo Xiang Tan c33a8d658b
DEV: Avoid duplicating constant between client and server (#25179)
Why this change?

While the constant does not change very often, we should still avoid
duplicating the value of a constant used on the server side in the
client side to avoid the values going out of sync.
2024-01-16 09:50:55 +08:00
..
2022-04-28 11:51:03 +02:00
2023-02-21 10:30:48 +01:00
2023-02-21 10:30:48 +01:00
2024-01-08 12:41:52 -05:00