User:MoreMIDI/twinkleoptions.js

// twinkleoptions.js: personal Twinkle preferences file // // NOTE: The easiest way to change your Twinkle preferences is by using the // Twinkle preferences panel, at Twinkle/Preferences. // // This file is AUTOMATICALLY GENERATED. Any changes you make (aside from // changing the configuration parameters in a valid-JavaScript way) will be // overwritten the next time you click "save" in the Twinkle preferences // panel. If modifying this file, make sure to use correct JavaScript.

window.Twinkle.prefs = { "twinkle": { "dialogLargeFont": true, "logProdPages": true, "watchRevertedPages": [ "torev" ],   "showRollbackLinks": [ "diff", "others", "mine" ],   "logSpeedyNominations": true, "watchWarnings": false }, "friendly": { "watchTaggedPages": false, "topWelcomes": true } };

// End of twinkleoptions.js