Revision history of "MediaWiki:Edittools"

Jump to navigation Jump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 20:00, 2 February 2022Tachyony talk contribs 4,072 bytes +4,072 Created page with '<div id="{{{id|editpage-specialchars}}}" style="margin-top: 15px; border: 1px solid #aaaaaa; padding: 2px;" class="edittools-text"> <!-- This div gets automatically replaced with the actual edit tools by the code in MediaWiki:Gadget-charinsert-core.js. Please make any changes there as well. Any content in this div is only shown to users with JavaScript turned off (or unsupported). --> '''Copy and paste:''' – — ° ′ ″ ≈ ≠ ≤ ≥ ± − × ÷...'