Really, sorry, if this question seems as if I'd be too lazy to google, but I tried to find that out myself and failed:What's the name of the extension for MediaWiki or whatever would I have to use to get this nice and fancy editor that Wikipedia uses into my own MediaWiki installation?I already use the newest MediaWiki version (1.17.0) but still have these ugly and pretty useless buttons on top of my edit pages.
How to get this fancy editor Wikipedia uses into our own MediaWiki installation
mediawiki
You can find a list of and source code for all the MediaWiki extensions used by Wikipedia here: http://en.wikipedia.org/wiki/Special:VersionWikiEditor is probably the one you're looking for.