Follow up to r67703. Fixes jump-to anchor which still ref'ed to #head instead of...
authorDerk-Jan Hartman <hartman@users.mediawiki.org>
Sat, 12 Jun 2010 10:59:13 +0000 (10:59 +0000)
committerDerk-Jan Hartman <hartman@users.mediawiki.org>
Sat, 12 Jun 2010 10:59:13 +0000 (10:59 +0000)
skins/Vector.php

index de74560..dc1de20 100644 (file)
@@ -505,7 +505,7 @@ class VectorTemplate extends QuickTemplate {
                                <?php if ( $this->data['showjumplinks'] ): ?>
                                <!-- jumpto -->
                                <div id="jump-to-nav">
-                                       <?php $this->msg( 'jumpto' ) ?> <a href="#head"><?php $this->msg( 'jumptonavigation' ) ?></a>,
+                                       <?php $this->msg( 'jumpto' ) ?> <a href="#mw-head"><?php $this->msg( 'jumptonavigation' ) ?></a>,
                                        <a href="#p-search"><?php $this->msg( 'jumptosearch' ) ?></a>
                                </div>
                                <!-- /jumpto -->