On 02/01/07, Vernon Thommeret <synotic(a)gmail.com> wrote:
The extension works well enough for me, but I just
have a minor quip:
addHTML() seems to be ignoring any newlines I put in. Is there a way
to get around this? I also can't figure out how to remove the
I'm not quite sure what you mean. Where are you adding newlines? A
newline character is totally meaningless within HTML, remember - we
have paragraph markup, and line breaks for that.
"<p><br /></p>" on either
side of the listing when it's included
within a page. Is there a way to get around either of these things?
I did attempt to when I first wrote the extension, and I have to
admit, I haven't looked much upstream, but it seems that MediaWiki is
failing to remove extraneous markup when it takes the result of an
includable special page and inserts it in a parse run.
Probably, we need to have a little tidy-up of that mechanism.