https://bugzilla.wikimedia.org/show_bug.cgi?id=47264
--- Comment #9 from T. Gries <[email protected]> --- (In reply to comment #8) > (In reply to comment #7) > > made an extension for my purpose. > > https://github.com/DaSchTour/mediawiki-extension-version > > For me this is fixed > > DaSch has a workaround for his use case. let me add the further suggestions: i) to code-review his extension ii) to move his extension to mediawiki git/gerrit repo, and iii) to set up a corresponding extension manual page on mediawiki.org. -- You are receiving this mail because: You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
