From: jenkins-bot Date: Mon, 7 Aug 2017 18:53:26 +0000 (+0000) Subject: Merge "Fix some PHPDoc type hints in DatabaseMysqli" X-Git-Tag: 1.31.0-rc.0~2448 X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/%7B%7B%20url_for%28%27vote%27%2C%20idvote=vote.voteid%29%20%7D%7D?a=commitdiff_plain;h=79ef473a2f558438c6846d046afe2e31db042722;p=lhc%2Fweb%2Fwiklou.git Merge "Fix some PHPDoc type hints in DatabaseMysqli" --- 79ef473a2f558438c6846d046afe2e31db042722