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.