jenkins-bot d7a9ccee2d Merge "resources: Deprecate module "jquery.appear""		2016-08-26 19:48:49 +00:00
..
assets	installer: Update assets README to mention public-domain.png.	2016-08-17 15:56:17 -07:00
lib	Update OOjs UI to v0.17.8	2016-08-16 14:22:47 -07:00
src	Merge "debug: Merge mediawiki.debug.init module into mediawiki.debug"	2016-08-25 19:17:55 +00:00
Resources.php	Merge "resources: Deprecate module "jquery.appear""	2016-08-26 19:48:49 +00:00
ResourcesOOUI.php	Revert "Work around T87871 to avoid double-loading OOjs UI PHP styles"	2016-08-18 19:01:34 +00:00