wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-19 11:32:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
4199 commits 13 branches 4 tags 131 MiB
Commit graph

3 commits

Author SHA1 Message Date
Bartosz Dziewoński 80c58fe356 Do not auto-add "Mention a user" to "Insert" menu 
Bug: T259039
Change-Id: I831b47d7a2192df3bc0c460eca9ef944661deb40
 2020-07-28 21:42:33 +02:00
Ed Sanders 8ca9da66fd UsernameCompletionTool: Use 'userAdd' icon 
Depends-On: I6de36ca2ba279dc11d18bdff3c5d138444a13361
Change-Id: Ic09e18bf284b97bb135c3e8b0129fb9bc96cf72f
 2020-06-24 12:33:33 +01:00
Ed Sanders 03665de09e Move VE components to dt-ve 
Change-Id: I4fba23e83d9ace833b55e67d1c3ef8b8da5ed19f
 2020-06-22 20:09:18 +02:00
Renamed from modules/dt.ui.UsernameCompletionTool.js (Browse further)