Wikipedia:Administradores de interfaz/Tablón de solicitudes/Archivos/2022/06

MediaWiki:Gadget-DeluxeHistory.js (mejoras)

Asunto

Por sugerencia de -Alabama-, he agregado más páginas soportadas por la herramienta MediaWiki:Gadget-DeluxeHistory.js, que ahora también puede resaltar correctamente los nombres de usuario según su rol en páginas como Special:Log y Special:Diff, gracias a esta modificación que solicito incorporar en la propia herramienta.

Usuario que lo solicita

Leoncastro (discusión) 00:40 21 mar 2022 (UTC)

Respuesta

Hecho Esteban (discusión) 16:57 7 jun 2022 (UTC)

DotsSyntaxHighlighter

Asunto

El accesorio del resaltador de sintaxis está obsoleto. Es una herramienta del usuario Remember the dot que oficialmente fue reemplazada por la extensión CodeMirror integrada en el propio sistema MediaWiki. El sistema, entre otras cosas, ha evolucionado desde la codificación XHTML a la HTML5, pero el accesorio no contempla este cambio. Por ello, algunos usuarios se empeñan en volver a cambiar las etiquetas <br> por etiquetas autocerradas <br />, dado que aunque el sistema acepta ambas y prefiere las primeras, el accesorio solamente comprende las segundas. Y aunque la actualización de la herramienta parece sencilla, el autor se ha negado a implementarla, por lo que varios proyectos ya han creado versiones alternativas. Por lo tanto, solicito actualizar el código de nuestro accesorio (que no es más que la importación del código del autor) para que importe en su lugar alguna de las variantes actualizadas. Por ejemplo cambiando el contenido de MediaWiki:Gadget-DotsSyntaxHighlighter.js por lo siguiente (que no es más que importar la actualizada versión rusa en lugar de la obsoleta original):

mw.loader.load('//ru.wikipedia.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript&smaxage=21600&maxage=86400');