Fix type hints for parameter documentation
authorReedy <reedy@wikimedia.org>
Fri, 4 Aug 2017 16:44:54 +0000 (17:44 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Sat, 5 Aug 2017 13:50:39 +0000 (13:50 +0000)
commit0dc1184f4661d3308876c2ae8334cc22571ca059
tree32e7f493baeded6dadadb91c7f6c109ef891de62
parent1ebfeb489a3cca8ef0f9aef6c3e05bf6e0403e5d
Fix type hints for parameter documentation

Fix double space

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