wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-03 12:26:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
2755 commits 12 branches 26 tags 35 MiB
Commit graph

1 commit

Author SHA1 Message Date
Sam Wilson 4ff946aea4 Realtime Preview onboarding popup 
Add a pulsating blue dot to the Realtime Preview toolbar button
that displays an onboarding popup when clicked and disappears
forever when dismissed.

Bug: T294589
Change-Id: I7f4dd0858349b0e7c4f4bedea5c7a62a51c6fa3a
 2022-06-01 14:11:49 +08:00