Wikipedia:Village pump (technical): Difference between revisions

:::: Tidy isn't a separate installation. Sanitizer is Tidy, until Sanitizer becomes HTML5Depurate, which is "soon." --[[User:Unready|Unready]] ([[User talk:Unready|talk]]) 22:02, 14 February 2017 (UTC)

::::: If you look into it you'll find Tidy is a distinct [http://php.net/manual/en/tidy.repairstring.php PHP extension] that is [https://github.com/wikimedia/mediawiki/blob/master/includes/tidy/RaggettInternalHHVM.php#L19 called from MediaWiki code] when enabled. (For interest, Tidy doesn't appear to be enabled at [[translatewiki:]], so you might like to experiment in the sandbox there to see how things behave without Tidy.) In any case, suffice it to say that MediaWiki does more tidying that one might have thought. [[mw:Parsing/Replacing Tidy]] makes no mention of {{tag|br|o}} tags, so we don't have anything to worry about in that regard. — <span style="border:dashed #666;border-width:1px 0 0 1px">[[User:This, that and the other|This, that]]</span> and <span style="border:dashed #666;border-width:0 1px 1px 0">[[User talk:This, that and the other|the other<small> (talk)</small>]]</span> 10:31, 15 February 2017 (UTC)

 

== Localised magic links ==