All public logs
Combined display of all available logs of Wikivahdat. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 06:42, 2 June 2023 Wikivahdat talk contribs created page MediaWiki:Gadget-Edittools.js (Created page with "* * EditTools support: add a selector, change <a> into buttons. * The special characters to insert are defined at MediaWiki:Edittools. * * @author Arnomane, 2006 (on the commons.wikimedia.org/wiki/MediaWiki:Edittools.js) * @author Kaganer, 2007 (adapting to www.mediawiki.org) * @author Krinkle, 2012 * @source www.mediawiki.org/wiki/MediaWiki:Gadget-Edittools.js * @revision 2012-02-29: jslint browser: true: global jQuery, mediaWiki: (function ($, mw...")