mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-25 14:24:37 +00:00
7bee77d5fd
They were renamed in |
||
---|---|---|
.. | ||
pl-big-oldparser-formatted-desktop.html | ||
pl-big-oldparser-formatted-mobile.html | ||
pl-big-oldparser-getHTML.json | ||
pl-big-oldparser-getText.json | ||
pl-big-oldparser-modified.html | ||
pl-big-oldparser-reply.html | ||
pl-big-oldparser.html | ||
pl-big-oldparser.json |