wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-25 08:48:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
509 commits 163 branches 6 tags 33 MiB
Commit graph

509 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Trevor Parscal 81510294e1 Moved some images to the vector jquery ui skin, rather than keeping them here as WikiEditor only customizations 2010-09-16 21:40:56 +00:00
Trevor Parscal 6b8e5f2f54 This extension now functions. iframe dependendt modules need more work still. 2010-09-16 21:11:46 +00:00
Trevor Parscal fe9cf94458 Ported over the main include content from UsabilityInitiative/WikiEditor/WikiEditor.php 2010-09-16 17:29:22 +00:00
Trevor Parscal 8be53e71af Merged in changes from r73123 2010-09-16 17:22:23 +00:00
Trevor Parscal a9c45c88e0 Lots of refactoring. This still does not work! But it's getting close. 2010-09-15 22:40:50 +00:00
Trevor Parscal c45ca9a77e Changed naming of files to follow new conventions. 2010-09-15 19:18:26 +00:00
Trevor Parscal 9d278e8dee Copied over all the resources needed to make WikiEditor stand on it's own two feet. Lots more to do as far as organizing and fleshing out the extensions's PHP bits. 2010-09-15 03:08:35 +00:00
Trevor Parscal 46828c89e0 Initial port of UsabilityInitiative/WikiEditor extension 2010-09-15 03:02:35 +00:00