jenkins-bot 72388938ca Merge "mw.Title: Rewrite from scratch (porting logic from Title.php)"		2013-10-04 03:23:58 +00:00
..
jquery	Fix comma errors in various js files (new jshint warning)	2013-09-30 15:05:08 +00:00
jquery.chosen	optipng -o7 "$png" && advpng -z -4 "$png" && advdef -z -4 "$png"	2013-09-20 22:56:12 +00:00
jquery.effects	Update jQueryUI to 1.8.24	2012-10-13 09:52:22 +02:00
jquery.tipsy	optipng -o7 "$png" && advpng -z -4 "$png" && advdef -z -4 "$png"	2013-09-20 22:56:12 +00:00
jquery.ui	optipng -o7 "$png" && advpng -z -4 "$png" && advdef -z -4 "$png"	2013-09-20 22:56:12 +00:00
mediawiki	Merge "mw.Title: Rewrite from scratch (porting logic from Title.php)"	2013-10-04 03:23:58 +00:00
mediawiki.action	mediawiki.action.edit.preview: Add .limitreport to live preview	2013-09-08 18:13:01 +02:00
mediawiki.api	mediawiki.api: Simplify done/fail calls by chaining	2013-09-18 18:37:06 +02:00
mediawiki.language	Provide month names via mediawiki.language.months RL module	2013-07-29 13:02:03 +00:00
mediawiki.less	Implement LESS image embedding	2013-09-23 19:59:05 +00:00
mediawiki.libs	Change EXIF to Exif	2013-05-10 13:51:06 +02:00
mediawiki.page	Make last row of new gallery not be huge.	2013-08-21 23:52:45 +00:00
mediawiki.special	optipng -o7 "$png" && advpng -z -4 "$png" && advdef -z -4 "$png"	2013-09-20 22:56:12 +00:00
mediawiki.ui	Remove inconsistent font-family declarations	2013-08-23 00:48:33 +00:00
Resources.php	Vector: Add navigation collapsing feature	2013-10-01 23:51:30 +02:00
startup.js	Completely blacklist Opera Mobile from RL	2013-05-01 22:44:47 +00:00