wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-14 11:15:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
366 commits 279 branches 0 tags 65 MiB
Commit graph

4 commits

Author SHA1 Message Date
Prateek Saxena 9ab483ec6f settings: Add help dialog 
Change-Id: I5f4cf435356748a1aceb05fcaf8c8980b8267804
 2014-11-26 11:43:01 +05:30
Prateek Saxena 10e9192719 settings: Fix margins 
Change-Id: I3ad652b05d990377c6a01a0abb8091f1ff2443c7
 2014-08-19 20:36:08 +05:30
Prateek Saxena d9322cfe9e settings: Fix alignment issues 
Change-Id: Iacc1e934822f58fbc848b426783d02b5f9c9477e
 2014-08-18 17:54:47 +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