wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-28 17:40:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Remove #jump-to-nav div"

Browse source
This commit is contained in:
jenkins-bot 2020-10-09 18:17:31 +00:00 committed by Gerrit Code Review
parent aea69ce200 9031db0b20
commit be6734937f
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
includes/templates/skin.mustache
View file

@ -68,11 +68,6 @@
<div id="contentSub"{{{html-user-language-attributes}}}>{{{html-subtitle}}}</div> <div id="contentSub"{{{html-user-language-attributes}}}>{{{html-subtitle}}}</div>
<div id="contentSub2">{{{html-undelete-link}}}</div> <div id="contentSub2">{{{html-undelete-link}}}</div>
{{{html-newtalk}}} {{{html-newtalk}}}
{{!
Keep this empty `div` for compatibility with gadgets and user scripts
using this place to insert extra elements before.
}}
<div id="jump-to-nav"></div>
{{^is-search-in-header}} {{^is-search-in-header}}
<a class="mw-jump-link" href="#mw-sidebar-button">{{msg-vector-jumptonavigation}}</a> <a class="mw-jump-link" href="#mw-sidebar-button">{{msg-vector-jumptonavigation}}</a>
<a class="mw-jump-link" href="#searchInput">{{msg-vector-jumptosearch}}</a> <a class="mw-jump-link" href="#searchInput">{{msg-vector-jumptosearch}}</a>