Topic on Extension talk:WikiEditor

Hi there! I have just upgraded our test wiki to Mediawiki 1.31. Previously, in the user settings there have been options for the width and height of the editor window, these are missing now. Also there has been an option for the WikiEditor font called "browser default". Am I looking at the wrong place or have they been removed intentionally?

I don't know offhand about the font, but the width and height options were intentionally removed, yes. It is preferred to customize these via sitewide or user CSS.

Great. And how can I do that?

#wpTextbox1 {
  width: ##;
  height: ##;
}

That's it! Thank you very much!