This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-WikiEditor
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-WikiEditor
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
422e31e525
mediawiki-extensions-WikiEd...
/
modules
/
images
/
toc
History
Niklas Laxström
31459ac555
Optimize pngs
...
Change-Id: Ic732069c0f25d4f5cdd0f1b890dc1b86aeb6c1ee
2013-03-13 10:04:45 +00:00
..
close.png
Optimize pngs
2013-03-13 10:04:45 +00:00
grab.png
Optimize pngs
2013-03-13 10:04:45 +00:00
grip.png
Optimize pngs
2013-03-13 10:04:45 +00:00
open.png
Optimize pngs
2013-03-13 10:04:45 +00:00