Vector: fix jump-to-navigation link href

We can use the recently introduced #mw-navigation; it makes more sense
than #mw-head and has the same result.

Change-Id: If5f3aa6499b5a339fab8077209817f2ff431e190

diff --git a/skins/Vector.php b/skins/Vector.php
index ee68abb..3e01d23 100644 (file)
--- a/skins/Vector.php
+++ b/skins/Vector.php
@@ -194,7 +194,7 @@ class VectorTemplate extends BaseTemplate {
                                <!-- jumpto -->
                                <div id="jump-to-nav" class="mw-jump">
                                        <?php $this->msg( 'jumpto' ) ?>
-                                       <a href="#mw-head"><?php $this->msg( 'jumptonavigation' ) ?></a><?php $this->msg( 'comma-separator' ) ?>
+                                       <a href="#mw-navigation"><?php $this->msg( 'jumptonavigation' ) ?></a><?php $this->msg( 'comma-separator' ) ?>
                                        <a href="#p-search"><?php $this->msg( 'jumptosearch' ) ?></a>
                                </div>
                                <!-- /jumpto -->