diff options
Diffstat (limited to 'resources/Resources.php')
| -rw-r--r-- | resources/Resources.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/resources/Resources.php b/resources/Resources.php index ddc44c52fd64..9567ac3af415 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -106,6 +106,11 @@ return [ ], 'targets' => [ 'desktop', 'mobile' ], ], + 'es6-promise' => [ + 'scripts' => 'resources/lib/promise-polyfill/promise-polyfill.js', + 'skipFunction' => 'resources/src/skip-Promise.js', + 'targets' => [ 'desktop', 'mobile' ], + ], 'mediawiki.base' => [ 'localBasePath' => "$IP/resources/src/mediawiki.base", 'packageFiles' => [ |