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

1 commit

Author SHA1 Message Date
Jeff Hobson 047bccfac1 Settings dialog 
Also removes some unused (redundant) actions and the renderer reducer.

Bug: T152223
Change-Id: I878c7f16d71f8cdbd74a47ffeb9dadc4decf2883
 2016-12-12 04:54:34 -05:00
Renamed from resources/ext.popups.desktop/ext.popups.settings.less (Browse further)