cherry-pick bdaee6f6594532409ce55e9cde0f942f96ec4181
authorjeroendedauw <jeroendedauw@gmail.com>
Thu, 23 Aug 2012 20:43:20 +0000 (22:43 +0200)
committerjeroendedauw <jeroendedauw@gmail.com>
Fri, 24 Aug 2012 14:54:06 +0000 (16:54 +0200)
commit8882bb82b4db0d3b153b337f703cf9e0571d1c17
tree6a5a3a37acd43ec0b75c601aea8d8697877ab5ce
parent0139923580d49247e1f92ac0346522c3ef16806b
cherry-pick bdaee6f6594532409ce55e9cde0f942f96ec4181

Change-Id: I5251c8f83f401731c3027718656cb65d8d910f22
includes/installer/DatabaseUpdater.php