From 9031db0b20c10d59264e771fe00b4770c4132f1c Mon Sep 17 00:00:00 2001
From: Nicholas Ray <nray@wikimedia.org>
Date: Fri, 9 Oct 2020 10:31:32 -0600
Subject: [PATCH] Remove `#jump-to-nav` div

The "Jump to navigation" link was removed as part of
Ic553fab3bde25769b103d899b92b3b694c00c384 which makes this div seemingly
obsolete (Volker pointed this out). It has a faily ominous comment above
it so might need more investigation if it will break anything.

Change-Id: Ida97cb640885dc2ea4dfda5b475672eb1ad973f2
---
 includes/templates/skin.mustache | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/includes/templates/skin.mustache b/includes/templates/skin.mustache
index f74032c..bc10bb2 100644
--- a/includes/templates/skin.mustache
+++ b/includes/templates/skin.mustache
@@ -68,11 +68,6 @@
 		<div id="contentSub"{{{html-user-language-attributes}}}>{{{html-subtitle}}}</div>
 		<div id="contentSub2">{{{html-undelete-link}}}</div>
 		{{{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}}
 		<a class="mw-jump-link" href="#mw-sidebar-button">{{msg-vector-jumptonavigation}}</a>
 		<a class="mw-jump-link" href="#searchInput">{{msg-vector-jumptosearch}}</a>