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)