MediaWiki:Edittools.js: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons 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.

3 March 2016

28 June 2015

23 March 2014

6 July 2013

  • curprev 22:5722:57, 6 July 2013‎ Timm Stolten talk contribs‎ 10,317 bytes +10,317‎ Created page with "// <source lang="javascript"> /* EditTools support: add a selector, change into true buttons, enable for all text input fields The special characters to insert are defined ..."
Retrieved from "https://en.dbg-web.de/MediaWiki:Edittools.js"