Hello! First of all, thx for the extension! It's pretty clever and succint. I'm currently having just one issue: the default outermost div (at least in my current version of mediawiki) is a: <div id="mw-content-text" .... which, when using the extension, is returned right after the body text content, not surrounding it as it should. I believe it has to do with the way the extension bypasses the first non-toc div, but i'm too much of a php newbie to solve it.
Any helpful input would be greatly appreciated! :)
Best regards, Bruno