wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-28 10:11:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../includes
History
Thiemo Kreuz d217b2b85f Replace deprecated Language class properties with constants 
These are going to be removed via Id370937.

Change-Id: I87b3d13f66f0f449fead49865af9f9242717c568
2020-02-28 09:19:21 +01:00
..
DiscussionToolsData.php Replace deprecated Language class properties with constants 2020-02-28 09:19:21 +01:00
DiscussionToolsHooks.php Add beta feature preference 2020-02-21 15:20:48 +00:00