DatabaseUpdater add missing $maintenance property
authoraddshore <addshorewiki@gmail.com>
Mon, 6 Mar 2017 21:06:43 +0000 (22:06 +0100)
committeraddshore <addshorewiki@gmail.com>
Mon, 6 Mar 2017 21:06:43 +0000 (22:06 +0100)
commitcd40724c5e8a975fce5fcfa76b5349f5efc3288d
tree1b3e54b689c81e05846a26a534b67e206d2119d6
parentabc5543c0656c1f6f6fc83e0a813edaf72638b4d
DatabaseUpdater add missing $maintenance property

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