wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-12 09:57:16 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/WikiEditor
9 commits 162 branches 6 tags 32 MiB
JavaScript 78.1%
Less 10.3%
PHP 8.6%
HTML 3%
Go to file
Trevor Parscal 7d438b6006 Moving some CSS to the vector jquery ui skin, rather than keeping them here as WikiEditor only customizations
2010-09-16 21:43:11 +00:00
modules Moving some CSS to the vector jquery ui skin, rather than keeping them here as WikiEditor only customizations 2010-09-16 21:43:11 +00:00
tests Merged in changes from r73123 2010-09-16 17:22:23 +00:00
WikiEditor.hooks.php This extension now functions. iframe dependendt modules need more work still. 2010-09-16 21:11:46 +00:00
WikiEditor.i18n.php This extension now functions. iframe dependendt modules need more work still. 2010-09-16 21:11:46 +00:00
WikiEditor.php This extension now functions. iframe dependendt modules need more work still. 2010-09-16 21:11:46 +00:00