Contributions de Krinkle
Un utilisateur avec 10 modifications. Compte créé le 1 février 2010.
4 mai 2022
- 19:394 mai 2022 à 19:39 diff hist −52 MediaWiki:Gadgets-definition Aucun résumé des modifications actuelle Balise : Annulation
- 19:394 mai 2022 à 19:39 diff hist −1 183 MediaWiki:Gadget-T302627.js Contenu remplacé par « →Empty. : » actuelle Balise : Contenu remplacé
14 avril 2022
- 01:3214 avril 2022 à 01:32 diff hist +230 MediaWiki:Gadget-T302627.js sync
12 avril 2022
- 00:4712 avril 2022 à 00:47 diff hist +9 MediaWiki:Gadget-T302627.js sync
- 00:2112 avril 2022 à 00:21 diff hist +231 MediaWiki:Gadget-T302627.js sync
- 00:0212 avril 2022 à 00:02 diff hist −280 MediaWiki:Gadget-T302627.js sync
29 mars 2022
- 16:1729 mars 2022 à 16:17 diff hist +52 MediaWiki:Gadgets-definition phab:T302627 Balise : Révoqué
- 16:1629 mars 2022 à 16:16 diff hist +1 005 N MediaWiki:Gadget-T302627.js Page créée avec « →* * Investigate and quantify https://phabricator.wikimedia.org/T302627 * * @author Krinkle : $.when($.ready, mw.loader.using(['mediawiki.util'])).then(function () { if (!mw.config.get('wgUserName')) { return; } var expectsNewVector = (mw.user.options.get('skin') === 'vector-2022') || (mw.util.getParamValue('useskin') === 'vector-2022'); var isShowingNewVector = !!( document.querySelector('#mw-sidebar-button') && document.querySelector('.mw-workspace... »
3 mai 2020
- 02:283 mai 2020 à 02:28 diff hist −560 MediaWiki:Gadget-WikEd.js/local Maintenance: Remove use of deprecated wgEnableAPI (always true) - mw:RL/MGU actuelle
25 octobre 2019
- 22:2925 octobre 2019 à 22:29 diff hist −9 MediaWiki:Gadget-HotCatsMulti.js Maintenance: mw:RL/MGU - Updated deprecated module name