wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2025-01-07 03:34:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
205 commits 12 branches 16 tags 72 MiB
Commit graph

3 commits

Author SHA1 Message Date
Prateek Saxena dd98179a15 Add settings 
Save Hovercards enabled state in localStorage (jStorage)

Change-Id: I374805eed0bc9f262b29474093f0357c56b42c83
 2014-07-28 13:38:03 +05:30
Prateek Saxena 0192822522 disablenavpop: Correct type check for disablePopups global 
Change-Id: I33f62c74fe231c74cf54937aa43ac35ae15a0b37
 2014-06-10 16:50:24 +05:30
Prateek Saxena a6ad92e9fd Disable NavigationPopups (Gadget) if Popups (Extension) is enabled 
Bug: 62952
Change-Id: If3757199c280bb0ad54878111dcf926b88778b64
 2014-06-06 13:04:34 +05:30