From 359c32598b0b14ab861970dca45153628a1a7e1c Mon Sep 17 00:00:00 2001
From: Roan Kattouw <roan.kattouw@gmail.com>
Date: Wed, 10 Dec 2014 15:35:04 -0800
Subject: [PATCH] Use #mw-head, not #mw-navigation, for navigation link

mw-navigation is a collapsed div because all of its children
are absolutely positioned, and it's in a totally useless
place. Instead, point to #mw-head, which is where we pointed
to originally before it was changed to #mw-navigation.

This reverts 75858d59d from when this code was still in MediaWiki core.

Bug: T78207
Change-Id: I5e1f0edbf80f6f5f330df73cb06e4b0ee4323905
---
 VectorTemplate.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VectorTemplate.php b/VectorTemplate.php
index 660184286..ab4069320 100644
--- a/VectorTemplate.php
+++ b/VectorTemplate.php
@@ -136,7 +136,7 @@ class VectorTemplate extends BaseTemplate {
 				?>
 				<div id="jump-to-nav" class="mw-jump">
 					<?php $this->msg( 'jumpto' ) ?>
-					<a href="#mw-navigation"><?php
+					<a href="#mw-head"><?php
 						$this->msg( 'jumptonavigation' )
 						?></a><?php
 					$this->msg( 'comma-separator' )