wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-14 19:35:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
2807 commits 146 branches 0 tags 124 MiB
Commit graph

1 commit

Author SHA1 Message Date
Ed Sanders d0cd0e57a1 Separate out mobile init from controller.js 
Change-Id: I2dfafc1d816c5cae97fd51bc11de9aefbdd73ee8
 2022-10-14 17:38:19 +01:00