mirror of
https://github.com/zulip/zulip.git
synced 2026-06-21 21:32:29 +08:00
4a2791e2a3
We need this information in the frontend to:
* Display the 'view in playground' option for locally echoed messages.
* When we add a UI settings for realm admins to configure their
playground choices, we'll need to use these canonicalized aliases
for displaying the option.
Hence, this tweaks the tool which generates pygments_data.json to contain
the data we need.
Bumping major PROVISION_VERSION since folks need to provision in both
directions.
Tests amended.
|
||
|---|---|---|
| .. | ||
| dev-vagrant-docker | ||
| emoji | ||
| __init__.py | ||
| bootstrap-aws-installer | ||
| bootstrap-awscli | ||
| build_pygments_data | ||
| dev-motd | ||
| generate_integration_bots_avatars.py | ||
| generate_zulip_bots_static_files.py | ||
| generate-fixtures | ||
| generate-test-credentials | ||
| install-aws-server | ||
| install-shellcheck | ||
| lang.json | ||
| optimize-svg | ||
| postgres-init-dev-db | ||
| postgres-init-test-db | ||
| setup_venvs.py | ||