mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 19:15:43 +00:00
4ff946aea4
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
34 lines
9.3 KiB
XML
34 lines
9.3 KiB
XML