mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-28 10:11:45 +00:00
e6fff19e7e
Parts of the implementation copied from the Popups extension. Bug: T298909 Change-Id: I2c42c6ff1c5d84da9333f8f74a4aec5c8fea704b |
||
---|---|---|
.. | ||
stubs | ||
config.php |