Revision history of "MediaWiki:Gadget-SettingsUI.js"

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.

(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)
  • curprev 11:57, 5 May 2020‎ Tonisant talk contribs‎ 10,338 bytes +10,338‎ Created page with "/** * Simple user interface for managing settings * This script only cares for the user interface. * It remains your task to save the settings * e.g. using 'ext.gadget.Se..."
(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)
Retrieved from "http://www.m3p.com.mt/wiki/MediaWiki:Gadget-SettingsUI.js"