On 12/02/2013 12:29 PM, Subramanya Sastry wrote:
This is a deliberate change, and is documented in our DOM spec [1].
Auto-numbered external links are rendered as empty links with the
numbering added using CSS counters. The PHP parser explicitly inserts
numbers into the HTML DOM.
Gabriel
[1]:
https://www.mediawiki.org/wiki/Parsoid/MediaWiki_DOM_spec#Numbered_external…