The Mozilla Developer Center is now running MediaWiki 1.9.3 (the current version), and has a few other improvements as well. There’s a new theme, called “mdc”, available if you would like to select it in your preferences. That theme has no sidebar, so there’s a little more space to work. It’s not used by default, however, since it’s not going to be our official theme.
Starting tomorrow, I’ll be working on more improvements to the site, including some enhancements to make the new breadcrumb system we’re going to be using soon a little more friendly to work with.