mediawiki-extensions-Popups/resources
Thiemo Kreuz ddf574afa3 Remove not needed userSettings.hasIsEnabled()
Note how getIsEnabled() is documented: "if the user hasn't
previously enabled or disabled Page Previews […] then they
are treated as if they have enabled them."

In other words: The idea that the default should be true is
encoded twice in this code. This is just not necessary. We can
remove one without loosing anything.

Motivtion: Simplifying the code and reducing the package size.

Since the code fundamentally depends on this default value
anyway, we can clear the users localStorage when they decide
to go back to the default – instead of storing a "1" which
does the same as the default.

Change-Id: I2814a1e9269979918609162a508eeee6944d9e52
2021-04-08 11:57:52 +02:00
..
dist Remove not needed userSettings.hasIsEnabled() 2021-04-08 11:57:52 +02:00
ext.popups Enable Popups module in mobile, use feature detection to enable 2020-04-02 18:23:31 +00:00
ext.popups.images Settings cog should come from icon pack 2020-11-12 05:57:57 -08:00