You are browsing a read-only backup copy of Wikitech. The live site can be found at wikitech.wikimedia.org
MediaWiki talk:Edittools
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)
Done.