mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-25 03:10:18 +00:00
Merge "Bug 42039 - Fix some file-related issues in the distribution"
This commit is contained in:
commit
dd24768983
0
modules/jquery.wikiEditor.toolbar.config.js
Executable file → Normal file
0
modules/jquery.wikiEditor.toolbar.config.js
Executable file → Normal file
Loading…
Reference in a new issue