[MediaWiki-commits] [Gerrit] mediawiki...Wikibase[master]: Make a few unspecific array type hints more specific

2017-07-15 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/365311 ) Change subject: Make a few unspecific array type hints more specific .. Make a few unspecific array type hints more specific

[MediaWiki-commits] [Gerrit] mediawiki...Wikibase[master]: Make a few unspecific array type hints more specific

2017-07-14 Thread WMDE
Thiemo Mättig (WMDE) has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/365311 ) Change subject: Make a few unspecific array type hints more specific .. Make a few unspecific array type hints more specific