wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-15 03:34:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix UserSettings#getIsEnabled docs

Browse source 
Change-Id: I3fce221619857365dbf53903e6eecb108f3b45e6
This commit is contained in:
joakin 2016-11-30 11:45:40 +01:00
parent 550b68cab5
commit 0bbaf0b7cc
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
resources/ext.popups/userSettings.js
View file

@ -22,7 +22,8 @@
* Gets whether or not the user has previously enabled Page Previews.
*
* N.B. that if the user hasn't previously enabled or disabled Page
* Previews, i.e. mw.popups.userSettings., then they are treated as if they have.
* Previews, i.e. mw.popups.userSettings.setIsEnabled(true), then they
* are treated as if they have enabled them.
*
* @return {Boolean}
*/