wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-30 19:15:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
2765 commits 11 branches 26 tags 35 MiB
Commit graph

2 commits

Author SHA1 Message Date
Sam Wilson 9ff5caacbd Realtime Preview: better construction of OnboardingPopup 
* Call the parent constructor.
* Add CSS class to the widget's existing $element, rather than
  creating a new one. Doesn't really change anything, just looks
  neater.

Change-Id: I67a72b5e2ef0912c7c7f7a44c87b31c08e1f7fcb
 2022-07-21 11:20:57 +08:00
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