wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-24 10:50:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
1408 commits 154 branches 6 tags 31 MiB
Commit graph

6 commits

Author SHA1 Message Date
Fomafix d16dfb0ad5 Style code 
* Fix errors and warnings from phpcs.
* Add commas at end of lines for arrays in PHP.
* Add space between // and comment.
* Add space between ) and {.
* Use tabs instead of spaces for indenting.
* Break lines in PHP with more than 100 characters.
* Remove double spaces and spaces at end of line.
* Remove spaces before comma.
* Fix some typos.

Change-Id: I9c014bdfa9832fa6a20d0190fe2fc668983d0fb9
 2015-03-14 15:49:04 +00:00
Derk-Jan Hartman e53521b32b WikiEditor: Remove unmaintained template editor modules 
Change-Id: I47119d6cfdde4b40ff5b07be0c7d327b80598142
 2014-04-03 17:11:10 +02:00
Niklas Laxström a80e2f9d2b Fix border css 
Inspired by Ia244a5070

Change-Id: I16319fe49b1c359bc6b57fbaa8deea8154847d7c
 2014-03-22 17:44:25 +00:00
Roan Kattouw 5c5897ef77 Followup r79570: fix the image paths up for real 2011-01-04 12:03:41 +00:00
Roan Kattouw bc9fec6080 WikiEditor: Fix paths to images in jquery.wikiEditor.html , apparently these were never updated for the UsabilityInitiative->WikiEditor move 2011-01-04 11:58:31 +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