wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-17 05:10:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
387 commits 146 branches 0 tags 124 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 63492f1276 Disable IP mentioning until outstanding issues resolved 
Bug: T251478
Change-Id: Ied56673c08d9a9803eb58b0e373a866d21a8945f
 2020-05-06 19:15:19 +01:00
Ed Sanders cb90e6edee Move IP users to bottom of suggestions 
Bug: T251478
Change-Id: I55088f9724303d2c46d829a14e0dc8abd5dc38b8
 2020-05-06 18:53:02 +01:00
David Lynch b7ad053105 @Username completion in VE (source or visual) mode 
Bug: T232601
Depends-On: I075cac9aa195574c3d416a40bbdc5ec2d64424e2
Change-Id: Ie605e783b333be0f81099d8d953725c38eb4cee1
 2020-05-05 09:44:08 -05:00