mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-28 18:21:02 +00:00
3f692d9e15
* This patch convert .css to .less * Semantic changes are avoided, but there are minor tweaks such as capitalization and ordering. Change-Id: Iebff0f8e3d87bb792093a10d87f33540aca301d5 |
||
---|---|---|
.. | ||
images | ||
ext.wikiEditor.dialogs.js | ||
ext.wikiEditor.js | ||
ext.wikiEditor.less | ||
ext.wikiEditor.preview.js | ||
ext.wikiEditor.publish.js | ||
ext.wikiEditor.toolbar.hideSig.js | ||
ext.wikiEditor.toolbar.js | ||
ext.wikiEditor.toolbar.styles.less | ||
jquery.wikiEditor.dialogs.config.js | ||
jquery.wikiEditor.dialogs.config.less | ||
jquery.wikiEditor.dialogs.js | ||
jquery.wikiEditor.dialogs.less | ||
jquery.wikiEditor.html | ||
jquery.wikiEditor.js | ||
jquery.wikiEditor.less | ||
jquery.wikiEditor.preview.js | ||
jquery.wikiEditor.preview.less | ||
jquery.wikiEditor.publish.js | ||
jquery.wikiEditor.toolbar.config.js | ||
jquery.wikiEditor.toolbar.js | ||
jquery.wikiEditor.toolbar.less |