Changing the code rendered for headers; removing <a name="$anchor">, making into...
authorJon Harald Søby <jhsoby@users.mediawiki.org>
Fri, 1 Aug 2008 00:22:39 +0000 (00:22 +0000)
committerJon Harald Søby <jhsoby@users.mediawiki.org>
Fri, 1 Aug 2008 00:22:39 +0000 (00:22 +0000)
commitda49b4f7ce95a68aa7f6190804b0d18f1914cdfc
treee3cb876995e25fc673254e3a26cd409fd720bc96
parent94d79db03ebc2753342493a0e9ce375b94dc04dd
Changing the code rendered for headers; removing <a name="$anchor">, making into <h# id="$anchor"> instead. This removes one line from the output code, but more importantly enables CSS marking of a title based on its id. Probably not backwards-compatible with browsers like IE4 (brion checked with IE5) and Netscape 4, but hey, who cares?
includes/Linker.php