wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-27 17:51:09 +00:00
Code Issues Packages Projects Releases Wiki Activity
3659 commits 11 branches 4 tags 127 MiB
Commit graph

3 commits

Author SHA1 Message Date
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