This is needed by Echo extension. Follows-up Id5e7cbb1. Change-Id: I88c5f819c42d9fe1468be6b2cf74413d7d6d6907 |
||
|---|---|---|
| .. | ||
| jquery | ||
| jquery.effects | ||
| jquery.tipsy | ||
| jquery.ui | ||
| mediawiki | ||
| mediawiki.action | ||
| mediawiki.api | ||
| mediawiki.language | ||
| mediawiki.libs | ||
| mediawiki.page | ||
| mediawiki.special | ||
| Resources.php | ||
| startup.js | ||