Thomas Gries wrote:
The <charinsert> tags are not translated to javascriptlets on a page X: The HTML of a page X action=edit shows _still_ the <charinsert> ... </charinsert> tags.
But the HTML of and the rendered page Mediawiki:Copyrightwarning show the <a href="javascript:insertTag()"....>... </a> scriptlets
mediawiki version 1.3.11 Did I overlook something ? Why aren't they replaced by the javascript ?
In MediaWiki 1.3, the copyrightwarning message is raw HTML, so no interpretation of wikitext (such as extensions) will occur. I wrote the CharInsert extension to continue to provide the insert capability when it was switched from raw HTML to wikitext in 1.4.
-- brion vibber (brion @ pobox.com)