mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-24 08:23:52 +00:00
86d47438d3
Consistent with core, most WMF extensions, and boilerplate as documented in extensions/README and elsewhere; as per T316722. Change-Id: I02cfcb2bd3debf877d1cbf8654dff4a98dd354ad |
||
---|---|---|
.. | ||
manageForeignResources.php | ||
persistRevisionThreadItems.php |