mirror of https://github.com/zulip/zulip.git
2699048208
Extend our markdown system to support mentioning of users by id also. Following these changes, it would be possible to mention users with @**|user_id** and silently mention using @_**|user_id**. Main intention for extending the mention syntax is to make it convenient for bots to mention a users using their ids. It is to be noted that previous syntax are also supported. Documentation tweaked by tabbott for better readability. The changes were tested manually in development server, and also by adding some new backend and frontend tests. Fixes: #17487. |
||
---|---|---|
.. | ||
__init__.py | ||
api_arguments_table_generator.py | ||
api_return_values_table_generator.py | ||
fenced_code.py | ||
help_emoticon_translations_table.py | ||
help_relative_links.py | ||
help_settings_links.py | ||
include.py | ||
nested_code_blocks.py | ||
tabbed_sections.py | ||
testing_mocks.py |