wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-28 20:56:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
10792 commits 153 branches 1 tag 185 MiB
Commit graph

3 commits

Author SHA1 Message Date
Alex Monk 5eaa211d43 MWEducationPopupTool: Changes to the dot 
Make the dot more like the one in the designs, with two circles etc.

Change-Id: Ic3e1b2dcd846c5825455b68697acab44016ee598
 2015-11-03 01:15:44 +00:00
Ed Sanders 760d9c130c EducationPopup: Tidy up DOM and CSS 
Change-Id: I4effa34a4d3ddfca0f6ee61fe169a726dc0ec3f6
 2015-10-15 22:35:30 +01:00
Alex Monk 9d6fbc894e Educational popups and highlights for links+citations 
Bug: T108620
Change-Id: I42b0e06f50aca5cb783d88f79a080461e745ceee
 2015-10-06 14:33:57 +01:00