wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-03 04:18:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
1355 commits 12 branches 26 tags 35 MiB
Commit graph

4 commits

Author SHA1 Message Date
Niklas Laxström 31459ac555 Optimize pngs 
Change-Id: Ic732069c0f25d4f5cdd0f1b890dc1b86aeb6c1ee
 2013-03-13 10:04:45 +00:00
Reedy 80a5a5964e Losslessly compress images 
Change-Id: Ia4f690ec92e269289ff2c3df0cb3e30c26ce85a0
 2013-01-03 01:58:06 +00:00
Sam Reed 0514d49717 More image compression for extensions 2012-03-01 02:24:49 +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