wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 08:23:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
3831 commits 147 branches 0 tags 125 MiB
Commit graph

4 commits

Author SHA1 Message Date
David Lynch 01749e4970 Instrument when permalinks are copied 
Bug: T359182
Change-Id: I3a7cfc0eaf6472804cc587cfa320bdc20b462492
 2024-03-05 11:35:46 -06:00
Ed Sanders 3b9128bdff Permalinks: Fix scroll restoration on mobile 
Change-Id: Icc60f089764a31f352fc89982d832653b7f14e07
 2023-10-05 14:13:55 +01:00
Ed Sanders d4819367aa Permalinks: Factor out copyLink clipboard functionality 
Change-Id: I8092e8f831b67a32b652a5cb88808f6e463d9b4c
 2023-10-05 11:04:01 +01:00
Ed Sanders 58cb277ced Factor out permalink code into separate file 
Change-Id: Ib56a0b9766529f517ae8c5f743f891b06f3cf690
 2023-10-05 10:55:00 +01:00