Contributions de Krinkle

26 octobre 2023

• 08:0526 octobre 2023 à 08:05 diff hist −13‎ MediaWiki:Gadgets-definition ‎ Maintenance: remove ineffective rights=purge (all users have this), not needed as filter since this gadget isn't enabled by default actuelle

1 septembre 2022

• 00:541 septembre 2022 à 00:54 diff hist −198‎ MediaWiki:Gadget-ScriptSidebox.js ‎ Maintenance: Remove use of deprecated 'loadedScripts' property. I believe this is no longer needed, but either way will cause an error if it stays as it is deprecated. actuelle

26 août 2021

• 23:0626 août 2021 à 23:06 diff hist −14‎ Utilisateur:Tpt/Recette.js ‎ Maintenance: mw:RL/MGU - Replace jQuery#size (deprecated) actuelle
• 23:0626 août 2021 à 23:06 diff hist −5‎ Utilisateur:AzaToth/vector.js ‎ Maintenance: mw:RL/MGU - Replace jQuery#size (deprecated) actuelle

2 mars 2021

• 00:392 mars 2021 à 00:39 diff hist −422‎ MediaWiki:Common.js ‎ Maintenance: Remove unused getInternetExplorerVersion function
• 00:382 mars 2021 à 00:38 diff hist −1 899‎ MediaWiki:Common.js ‎ Maintenance: Remove GetVar(), SetVar() and getCookieVal(). No longer used on this wiki.
• 00:372 mars 2021 à 00:37 diff hist −1 900‎ MediaWiki:Gadget-Common.js ‎ Maintenance: Remove GetVar(), SetVar() and getCookieVal(). No longer used on this wiki.
• 00:362 mars 2021 à 00:36 diff hist +51‎ Utilisateur:Tavernier/sous1/JS ‎ Maintenance: Update last use of getCookieVal()
• 00:342 mars 2021 à 00:34 diff hist +26‎ MediaWiki:Gadget-CollapseSidebox.js ‎ Maintenance: Use $.cookie() actuelle
• 00:332 mars 2021 à 00:33 diff hist +81‎ MediaWiki:Gadgets-definition ‎Aucun résumé des modifications
• 00:322 mars 2021 à 00:32 diff hist +24‎ MediaWiki:Gadget-SourceLanguage.js ‎ Maintenance: Use $.cookie() actuelle
• 00:312 mars 2021 à 00:31 diff hist +30‎ MediaWiki:Gadget-ScriptToolbar.js ‎ Maintenance: Use $.cookie() actuelle
• 00:302 mars 2021 à 00:30 diff hist −546‎ MediaWiki:Gadget-Common.js ‎ Maintenance: Remove unused addLastOnloadHook code
• 00:292 mars 2021 à 00:29 diff hist +79‎ MediaWiki:Common.js ‎ Maintenance: Use $.cookie()
• 00:212 mars 2021 à 00:21 diff hist −926‎ MediaWiki:Common.js ‎ Maintenance: Remove old addLastOnloadHook/onloadProtectedFunctsLast system, no longer used on this wiki. Use $(…) or $(function(){ $(…); }); instead.
• 00:202 mars 2021 à 00:20 diff hist +190‎ MediaWiki:Gadget-CollapseSidebox.js ‎Aucun résumé des modifications

1 mars 2021

• 23:561 mars 2021 à 23:56 diff hist −513‎ MediaWiki:Gadget-Common.js ‎ Maintenance: Remove unused code for old browsers that is not unreachable/impossible per mw:Compatibility

28 avril 2020

• 18:4128 avril 2020 à 18:41 diff hist −52‎ MediaWiki:Gadget-DevTools.js ‎ Maintenance: Remove use of deprecated wgEnableAPI (always true) - mw:RL/MGU

23 mars 2018

• 02:0023 mars 2018 à 02:00 diff hist −10‎ Utilisateur:François Melchior/ToggleBox.jQuery.js ‎ Maintenance: mw:RL/MGU - mw.util.wikiGetlink is deprecated actuelle
• 02:0023 mars 2018 à 02:00 diff hist −5‎ Utilisateur:François Melchior/MediaWiki:Gadget-AdvancedTitle.js ‎ Maintenance: mw:RL/MGU - mw.util.wikiGetlink is deprecated actuelle

30 novembre 2017

• 22:2230 novembre 2017 à 22:22 diff hist −2‎ MediaWiki:Gadget-Tableau.js ‎ Maintenance: mw:RL/MGU / mw:RL/JD - skins-1.5 is deprecated
• 22:2230 novembre 2017 à 22:22 diff hist −2‎ MediaWiki:Gadget-TableUnicode.js ‎ Maintenance: mw:RL/MGU / mw:RL/JD - skins-1.5 is deprecated
• 22:2030 novembre 2017 à 22:20 diff hist −1‎ m MediaWiki:Gadget-Tableau.js ‎Aucun résumé des modifications
• 22:2030 novembre 2017 à 22:20 diff hist −1‎ m MediaWiki:Gadget-TableUnicode.js ‎Aucun résumé des modifications
• 22:1930 novembre 2017 à 22:19 diff hist −2‎ MediaWiki:Common.js ‎ Maintenance: mw:RL/MGU / mw:RL/JD - skins-1.5 is deprecated

3 novembre 2016

• 02:473 novembre 2016 à 02:47 diff hist +8‎ MediaWiki:Gadget-DevTools.js ‎ Maintenance: Map.values is deprecated

2 novembre 2016

• 23:562 novembre 2016 à 23:56 diff hist 0‎ MediaWiki:Gadget-OngletEditZeroth.js ‎ Maintenance: mw:RL/MGU / mw:RL/JD - Map.values is deprecated

21 octobre 2016

• 00:2221 octobre 2016 à 00:22 diff hist +36‎ MediaWiki:Gadget-Common.js ‎ Do not overwrite String.prototype.trim in modern browsers

31 mai 2016

• 21:3631 mai 2016 à 21:36 diff hist −126‎ m MediaWiki:Common.js ‎Aucun résumé des modifications
• 21:3631 mai 2016 à 21:36 diff hist −62‎ MediaWiki:Gadget-CommonEdit.js ‎ Already defined in MediaWiki:Common.js actuelle
• 21:3531 mai 2016 à 21:35 diff hist −81‎ MediaWiki:Gadget-CommonEdit.js ‎ Already defined in MediaWiki:Common.js
• 21:3431 mai 2016 à 21:34 diff hist −540‎ MediaWiki:Gadget-CommonEdit.js ‎ Remove configuration for old toolbar (no longer works)

24 mai 2016

• 20:0224 mai 2016 à 20:02 diff hist −284‎ MediaWiki:Common.js ‎ Maintenance: Remove use of legacy 'doneOnloadHook' and 'onloadFuncts' - these will no longer exist

18 avril 2016

• 20:0618 avril 2016 à 20:06 diff hist −12‎ MediaWiki:Gadget-TitreDeluxe.js ‎ Maintenance
• 20:0218 avril 2016 à 20:02 diff hist −248‎ MediaWiki:Sitenotice ‎ Make really empty so that there is no "[masquer]" on every page. Disable with empty (or hyphen) and enable with anything else. actuelle

12 avril 2016

• 23:5812 avril 2016 à 23:58 diff hist −8‎ MediaWiki:Common.js ‎ Maintenance: Repair toggleHiddenCats - changeText is no more (mw:RL/JD)
• 23:5712 avril 2016 à 23:57 diff hist −4 891‎ MediaWiki:Common.css ‎ Maintenance: Remove unused or obsolete styles. See mw:RL/MGU
• 23:5412 avril 2016 à 23:54 diff hist −12‎ MediaWiki:JSScripts/Sidebox ‎ Maintenance: addOnloadHook -> $

11 avril 2016

• 23:3511 avril 2016 à 23:35 diff hist +10‎ MediaWiki:Gadget-extlinks.js ‎Aucun résumé des modifications actuelle
• 23:3411 avril 2016 à 23:34 diff hist −14‎ MediaWiki:Gadget-CommonEdit.js ‎ Maintenance: Remove unused code. is_gecko is deprecated and always false - mw:RL/MGU#Client_testing

31 mars 2015

• 03:2631 mars 2015 à 03:26 diff hist −264‎ MediaWiki:Common.js ‎ Maintenance: Migrate legacy code and fix javascript code quality errors
• 03:1931 mars 2015 à 03:19 diff hist −252‎ MediaWiki:Gadget-Common.js ‎Aucun résumé des modifications
• 02:2931 mars 2015 à 02:29 diff hist −253‎ MediaWiki:Common.js ‎ Remove wgServerName as it is part of the software already.
• 02:1531 mars 2015 à 02:15 diff hist +34‎ MediaWiki:Common.js ‎ Maintenance: Do not overwrite native String.prototype.trim. This exists in most browsers anno 2013. Overwriting makes performance slow and causes bugs.

3 septembre 2014

• 20:313 septembre 2014 à 20:31 diff hist −1 356‎ MediaWiki:Common.js ‎ ← Migration: The old tablesorter doesn't exist anymore. The function was unused. This is now taken care of by jquery.tablesorter