[01:05:53] Does anybody know how I can add the EditTools to my own wiki? [01:40:02] Sorry, let me rephrase this. The same Edittools that are used on wikipedia, not wikimedia. and without the gadgets, just the edit tools. (the documentation is half baked, well actually there's no documentation, just a talk page) [02:18:58] t355u5: [[Extension:WikiEditor]] maybe? [02:30:51] Skizzerz: I looked at the documentation for WikiEditor an I know how to add buttons and such to the editor. But it doesn't tell me how to add the Edittools. [02:31:47] The Edittools on mediawiki or below the Publish button. The Edittols on wikipedia are above it (at the bottom of the text input field), which is much nicer [02:32:01] The Edittools on mediawiki are below the Publish button [02:32:31] oh, maybe they're moving it via a Gadget or something [02:32:56] I never edit wikipedia, so I have zero insight into how that works [02:33:42] no idea. I just hoped, somebody had some documentation about it. but apparently none exists [05:02:04] t355u5, https://www.mediawiki.org/wiki/Extension:CharInsert (specifically the "English Wikipedia CharInsert menu" section there) [05:02:25] (I don't know details beyond that.) [05:03:59] (the simple version, without the dropdown menu that Enwiki uses, can be seen in action at Meta-wiki: e.g. https://meta.wikimedia.org/w/index.php?title=Foooo&action=edit ) [05:05:41] quiddity: thanks, looked at that too. CharInsert is a dependency. unfortunately it does not explain how to set it up, so that the keys are displayed at the bottom of the input field [05:07:45] well, it sort of does explain it, but only with the use of another tool; the gadgets [05:09:00] I just want to use it as is with no gadgets special page, no gadgets intergration…. [05:10:06] but I'm afraid that this might not be possible. as mentioned before, I hoped that somebody already did that… [05:12:09] t355u5, do you require all the dropdown menu options? If not, you can just use the simple ==Installation== instructions, to get something identical to https://meta.wikimedia.org/wiki/MediaWiki:Edittools [05:14:25] The charinsert extension itself, doesn't appear to have any dependencies. [05:14:47] (IANAD. Also, heading AFK. Good luck! :) [05:25:29] quiddity: no, I meant, that CharInsert is a dependency for Edittools [05:25:40] anyway, thanks.