Home
Random
Log in
Settings
About TwainFrame
Impressum
TwainFrame
Search
MediaWiki:Gadget-Edittools.js: Difference between revisions
Language
Watch
View history
View source
Latest revision as of 14:05, 25 June 2025
view source
KB
(
talk
|
contribs
)
Bureaucrats
,
Interface administrators
,
Suppressors
,
Administrators
146
edits
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 2019-12-17
:
→
jslint browser: true
:
→
global jQuery, mediaWiki
:
(function ($, mw..."
(No difference)