wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-13 08:08:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
626 commits 13 branches 16 tags 69 MiB
Commit graph

6 commits

Author SHA1 Message Date
Baha 107d6edd37 Fix float on wikis with long settings messages 
* Remove floats;
* Get rid of margin collapsing so that the space is easy to understand;
* Fix invalid rules.

Bug: T135629
Change-Id: I3bfaf137e4d02f0dc809c809edac9b28cb4bdc3a
 2016-05-25 16:20:39 -04:00
Prateek Saxena 947f644991 Move all images to resources/images 
Change-Id: Iac712668baf8cefedf036c4d479687e3f5da5a46
 2015-07-18 22:27:18 +00:00
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