[Mediawiki-l] how to change html namespaces?

[Daniel Hernández]

Hello,

> You can configure that in LocalSettings.php
>
> Change $wgDocType

I have added the lines bottom to the LocalSettings, but no changes are
showed yet. I need restart something?

> $wgDocType = '-//W3C//DTD XHTML+RDFa 1.0//EN';
> $wgDTD = 'http://www.w3.org/MarkUp/DTD/xhtml-rdfa-1.dtd';

Thanks!