wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-15 03:44:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
2877 commits 146 branches 0 tags 124 MiB
Commit graph

5 commits

Author SHA1 Message Date
Ed Sanders 79537c9892 Ignore negative page scroll values on iOS 
Bug: T323400
Change-Id: Id37f3da183a08f936c6b6d11ed7307bb9d8bd28b
 2022-11-29 14:29:50 +00:00
Ed Sanders b132522fa9 Make "Add topic" button sticky 
Bug: T316175
Change-Id: Ie5198e902ec3fa7a7eba56cef6c6f0ef71ef7314
 2022-11-16 12:23:34 +00:00
Ed Sanders e0855e4f41 Make virtual keyboard detection into a body class 
This allows it to be re-used for other features, such as the
upcoming floating "Add topic" button.

Add some support for Android, although not used in this patch.

Change-Id: Ibd1e1ee087ac607c88a7402d0422c633700d1992
 2022-11-10 23:30:53 +01:00
Ed Sanders 79521f89cf Add button to reveal lede section on mobile 
Bug: T312309
Depends-On: I9c3035c9dbe7545a05efb2286dffe0145d3557b4
Change-Id: I9d74914ddbcc9def74e85106a68574a807b0b731
 2022-11-10 22:10:04 +00:00
Ed Sanders d0cd0e57a1 Separate out mobile init from controller.js 
Change-Id: I2dfafc1d816c5cae97fd51bc11de9aefbdd73ee8
 2022-10-14 17:38:19 +01:00