wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-04 20:18:23 +00:00
Code Issues Packages Projects Releases Wiki Activity
761 commits 13 branches 16 tags 68 MiB
Commit graph

3 commits

Author SHA1 Message Date
joakin ae22a00dc8 Move settings images and styles to ext.popups/ 
From ext.popups.desktop.

Change-Id: I55955d1506138e26d24fb9ebaf20ac3e168941ba
 2016-12-13 10:45:51 +01:00
Jhernandez 2fa5b9ef02 Revert "Settings dialog" 
This reverts commit 047bccfac1.

It created merge conflicts with a bunch of patches that were days old and about to be merged. Instead of rebasing 10 patches, let's revert this one, finish merging the other ones and just rebase and fix this one. I'll re-introduce the patch in a bit.

Change-Id: Ib495755b0ab4bfa5fdf5590b1271792862a47d4b
 2016-12-12 12:54:33 +00:00
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)