[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Resources.php: Add missing dependencies to module 'mediawiki...

2017-05-17 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/354125 ) Change subject: Resources.php: Add missing dependencies to module 'mediawiki.user' .. Resources.php: Add missing dependencies t

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Resources.php: Add missing dependencies to module 'mediawiki...

2017-05-17 Thread Fomafix (Code Review)
Fomafix has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/354125 ) Change subject: Resources.php: Add missing dependencies to module 'mediawiki.user' .. Resources.php: Add missing dependencies to module 'me

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Resources.php: Add missing dependencies to module 'mediawiki...

2017-05-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/353912 ) Change subject: Resources.php: Add missing dependencies to module 'mediawiki.util' .. Resources.php: Add missing dependencies t

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Resources.php: Add missing dependencies to module 'mediawiki...

2017-05-15 Thread Fomafix (Code Review)
Fomafix has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/353912 ) Change subject: Resources.php: Add missing dependencies to module 'mediawiki.util' .. Resources.php: Add missing dependencies to module 'me