MediaWiki talk:MiniEdit.js

Join similar functions
About this version, we can merge the functions  and   which both loads data from Gerrit in the same way. -- Leoncastro (talk) 10:32, 6 June 2023 (UTC)


 * ✅ Good catch. I also changed the method that loaded the CSS so that it loads from MediaWiki:WikiEdit.css rather than Gerrit. Now WikiEdit loads essentially like Proveit. Kind regards, Sophivorus (talk) 12:39, 6 June 2023 (UTC)

Some misfunction
Hi, Thanks by this gadget. It's useful !

I detect what I consider a disfunction (or maybe is not..):


 * lines in list (dotted) are not considered a paragraph and not show the pencil
 * when we have a pseudo-header before a dotted list (typical, then it shows the pencil, but it opens the paragraph pseudo-header + dotted lines in normal edition page , like when we click in edit section button. It's, not embebed in the article text.

That's all.

Congratulations !! Amadalvarez (talk) 04:42, 8 June 2023 (UTC)