wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
10682 commits 161 branches 1 tag 190 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 760d9c130c EducationPopup: Tidy up DOM and CSS 
Change-Id: I4effa34a4d3ddfca0f6ee61fe169a726dc0ec3f6
 2015-10-15 22:35:30 +01:00
Roan Kattouw 17a5cf6a93 Followup 9d6fbc894e: fix JS error in education popup 
If a tool had an education popup bound to it, but it was
suppressed because the user has already seen it (according to
the cookie or localStorage), then clicking that tool would
cause a JS error.

Also remove a workaround for a ClippableElement problem
that appears to be unnecessary.

Change-Id: I73a3f5f9cc1726e28e70fc545b72960afc5ac41c
 2015-10-14 16:32:14 -07:00
Alex Monk 9d6fbc894e Educational popups and highlights for links+citations 
Bug: T108620
Change-Id: I42b0e06f50aca5cb783d88f79a080461e745ceee
 2015-10-06 14:33:57 +01:00