wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-09-25 11:17:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
350 commits 271 branches 0 tags 63 MiB
Commit graph

2 commits

Author SHA1 Message Date
Prateek Saxena e66ec613db article: Fix settings icon 
1. Change color from #777 to #AAA
2. Add PNG fallback using `background-image-svg`

Bug: 69022
Change-Id: I0bbfe2aaa0c6e6ed1300bafa1352dd54037929b9
 2014-08-19 22:22:21 +05:30
Prateek Saxena dd98179a15 Add settings 
Save Hovercards enabled state in localStorage (jStorage)

Change-Id: I374805eed0bc9f262b29474093f0357c56b42c83
 2014-07-28 13:38:03 +05:30