mirror of
https://github.com/mozilla-firefox/firefox
synced 2026-08-10 11:48:50 +00:00
Jeff Muizelaar
5bc21fec25
When reading docs I sometimes want to edit them but it's not obvious how to map from a document to the source code. Liking to github source file is a lot more helpful than linking to the source file at a path that doesn't match the original. Differential Revision: https://phabricator.services.mozilla.com/D300691
21 lines
1018 B
HTML
21 lines
1018 B
HTML
<!-- This Source Code Form is subject to the terms of the Mozilla Public
|
|
- License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
- You can obtain one at http://mozilla.org/MPL/2.0/. -->
|
|
|
|
{%- extends "sphinx_rtd_theme/breadcrumbs.html" %} {% block breadcrumbs_aside %}
|
|
<li class="wy-breadcrumbs-aside">
|
|
<a
|
|
href="https://bugzilla.mozilla.org/enter_bug.cgi?product=Developer+Infrastructure&component=Firefox+Source+Docs%3A+Content&short_desc=Documentation+issue+on+{{ pagename }}&comment=URL+=+https://firefox-source-docs.mozilla.org/{{ pagename }}.html&bug_file_loc=https://firefox-source-docs.mozilla.org/{{ pagename }}.html"
|
|
rel="nofollow"
|
|
>Report an issue</a
|
|
>
|
|
/ {%- if display_github and has_source and github_source_path %}
|
|
<a
|
|
href="https://{{ github_host|default('github.com') }}/{{ github_user }}/{{ github_repo }}/blob/{{ github_version }}/{{ github_source_path }}"
|
|
rel="nofollow"
|
|
>{{ _('View page source') }}</a
|
|
>
|
|
{%- endif %}
|
|
</li>
|
|
{% endblock %}
|