* (bug 14500) Site feed (Recentchanges) no longer shows up on the actual
recent changes page.
* (bug 14511) MediaWiki:Delete-legend is no longer double escaped
+* Generate correct section anchors for numeric headers
=== API changes in 1.13 ===
# HTML names must be case-insensitively unique (bug 10721)
$arrayKey = strtolower( $safeHeadline );
- # XXX : Is $refers[$headlineCount] ever accessed, actually ?
- $refers[$headlineCount] = $safeHeadline;
-
# count how many in assoc. array so we can track dupes in anchors
isset( $refers[$arrayKey] ) ? $refers[$arrayKey]++ : $refers[$arrayKey] = 1;
$refcount[$headlineCount] = $refers[$arrayKey];