I've been recently working on a script which would add a few additional functions to the ThemeDesigner. While it works reasonably well when run through a browser console, it doesn't do anything when actually added to a wiki's script page.
While trying to find the problem, I stripped the code down to pretty much a few lines. Without finding any problems with my code, I reached a conclusion that perhaps the ThemeDesigner's option menu can't be customized through a wiki script? Can anyone confirm if this is true and if so; is there any way around that?