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)
commit5fe33a7456a4602f0072be9a1a739209d2046e7a
treec7f17be39645f658d7b1f4e04ae7d5b800db1d17
parente519859e492d3390f6edacf7214e2ad6863c4095
Follow up to r67703. Fixes jump-to anchor which still ref'ed to #head instead of mw-head
skins/Vector.php