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
492 commits 146 branches 0 tags 124 MiB
Commit graph

6 commits

Author SHA1 Message Date
Ed Sanders 66d3c95f23 Prefix '@' to username auto-complete output 
Bug: T252460
Change-Id: I932ccddcacbe15efe9ea08d6a6d028cd84d8815c
 2020-05-20 12:28:31 +01:00
Ed Sanders 607440498e Spell check pass 
Change-Id: Ia20da358297126bd52a968bd77c960f81fe82b8f
 2020-05-18 21:24:14 +00:00
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