User:Pbritti/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 = { "optionsVersion": 2.1, "markProdPagesAsPatrolled": true, "logProdPages": true };

// // End of twinkleoptions.js