{# Runtime version + locale picker — populated by version-selector.js
from /manifest.json. The selector is bundled into spongedocs.js
(alongside the rest of the theme JS) and mounted here. The current
version, locale, and page path are stamped as data-* attributes so
the JS can pre-select the matching options and build the
cross-version navigation URLs. #}
{# Offline usage #}
{% if html_download %}
- {% trans %}Offline usage{% endtrans %}
- {{ _("Download") }}
{% endif %}
{# Contribute — Source/Edit are static; Translate is revealed by
version-selector.js only when the current version's manifest entry
lists the Crowdin 'translate' pseudo-locale. #}
{% if github_page_link %}
- {% trans %}Contribute{% endtrans %}
- {{ _("Source") }}
- {{ _("Edit") }}
- {{ _("Translate") }}
{% endif %}