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

Add missing dependency on module 'mediawiki.api'

Browse source 
ext.categoryTree.js uses mw.Api.

Change-Id: If069cf500fcf8a93d561ad68b1aea57446cbf5b4
This commit is contained in:
Fomafix 2017-06-27 14:51:16 +02:00
parent 97e07113f9
commit 5d0737d3b3
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -52,6 +52,9 @@
"categorytree-no-pages", "categorytree-no-pages",
"categorytree-error", "categorytree-error",
"categorytree-retry" "categorytree-retry"
],
"dependencies": [
"mediawiki.api"
] ]
}, },
"ext.categoryTree.css": { "ext.categoryTree.css": {