MediaWiki talk:Corrections.js

wgNamespaceNumber

Since wgNamespaceNumber is deprecated, could anyone replace it by mw.config.get('wgNamespaceNumber'), please? Giro720 (talk) 23:45, 29 January 2015 (UTC)

Done — Phe 00:48, 30 January 2015 (UTC)

Broken JavaScript

MediaWiki developers found that this page probably breaks JavaScript for users (example: not seeing the buttons when editing a page). You probably need to edit this .js page and/or MediaWiki:Gadgets-definition as in the examples at phabricator:T122755. List more pages to check.

If you have questions or need help, please ask at phabricator:T164242. You can login with your wiki account. Best wishes, Nemo 09:49, 14 May 2017 (UTC)

Overflow

Can someone (ping @Ankry: ?) add the CSS code "overflow:auto;" in the pr_popup() function? When there is too many corrections, only the first one are visible and the rest is hidden, this code "should" add a scrollbar. For the context, it was asked on the French Wikisource scriptorium : fr:Wikisource:Scriptorium/Août_2020#Demande_d'amélioration_de_l'affichage_des_coquilles_dans_l'espace_principal.

@Reptilien.19831209BE1: who is better at technic than me :P

Cheers, VIGNERON (talk) 12:13, 18 August 2020 (UTC)

Done Ankry (talk) 12:57, 18 August 2020 (UTC)

Broken style (II)

@Koavf: It's me again. I know this isn't optimal, but I detected that this scripts also loads the exact same HTML element than Base.js, and sometimes it loads before Base.js. So about half of the time, the change we did before doesn't work. Now we need to change lines 17 to 19 to the same code we did before:

if (mw.config.get('skin')==='vector') {
	var displayOptions = document.createElement("nav");
	displayOptions.className = "vector-menu vector-menu-portal portal collapsed";
	cl="body";
} else {
	var displayOptions = document.createElement("div");
	displayOptions.className = "portlet";
	cl="pBody";
}

. Thanks in advance! --Ignacio Rodríguez (talk) 23:46, 31 August 2020 (UTC)

AND apparently (I swear I'm not joking), the same thing happens at MediaWiki:PageNumbers.js, lines 19 to 26, same code. I think "someone" should clean up this mess, 😑. --Ignacio Rodríguez (talk) 23:49, 31 August 2020 (UTC)

@Ignacio Rodríguez: Done Gracias otra vez. —Justin (koavf)❤T☮C☺M☯ 00:07, 1 September 2020 (UTC)

@Koavf: Gracias! You left an extra "}" at MediaWiki:PageNumbers.js, causing an error. The rest seems to be fine. --Ignacio Rodríguez (talk) 00:20, 1 September 2020 (UTC)

@Ignacio Rodríguez: Correct now? —Justin (koavf)❤T☮C☺M☯ 00:22, 1 September 2020 (UTC)

@Koavf: Yes. I hope we've banished this bug for good. Thank you very much. --Ignacio Rodríguez (talk) 00:26, 1 September 2020 (UTC)