wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-30 05:46:25 +00:00
Code Issues Packages Projects Releases Wiki Activity
433 commits 137 branches 0 tags 114 MiB
Commit graph

4 commits

Author SHA1 Message Date
Ed Sanders 76bd22fe59 Show no remote users when input is empty 
This could cause unrelated remote users to be shown
if you typed '@x<backspace>'.

Change-Id: I03c63ede4fce53c201398b6ba5256b68aa90391c
 2020-05-11 19:35:48 +01:00
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