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

Merge "Make API requests after 50 ms" into mpga

Browse source
This commit is contained in:
jenkins-bot 2016-12-16 11:07:19 +00:00 committed by Gerrit Code Review
parent 212dcf1d55 9341685be3
commit fc75d9ec0d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/ext.popups/actions.js
View file

@ -22,7 +22,7 @@
SETTINGS_CHANGE: 'SETTINGS_CHANGE', SETTINGS_CHANGE: 'SETTINGS_CHANGE',
EVENT_LOGGED: 'EVENT_LOGGED' EVENT_LOGGED: 'EVENT_LOGGED'
}, },
FETCH_START_DELAY = 500, // ms. FETCH_START_DELAY = 50, // ms.
ABANDON_END_DELAY = 300; // ms. ABANDON_END_DELAY = 300; // ms.
/** /**