Thread:Extension talk:NamespaceHTML/Mixing html with mediawiki variables