You are browsing a read-only backup copy of Wikitech. The primary site can be found at wikitech.wikimedia.org

MediaWiki talk:Edittools

From Wikitech-static
Revision as of 22:50, 11 June 2022 by imported>Quiddity (→‎Charinsert: new section)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Charinsert

I suggest copying some of m:MediaWiki:Edittools into this page. Specifically, I think a line for

<charinsert><nowiki><syntaxhighlight lang="bash"></nowiki>+</syntaxhighlight></charinsert>

would be helpful here. Ping @Krinkle for assist. :> Quiddity (talk) 22:50, 11 June 2022 (UTC)