Clarify phpdoc of DatabaseUpdater::addExtensionUpdate
authorGergő Tisza <gtisza@wikimedia.org>
Tue, 18 Oct 2016 01:12:08 +0000 (01:12 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Thu, 20 Oct 2016 21:19:26 +0000 (21:19 +0000)
commitafb8d6b48804da2f3685218ff347c4d5d8448b01
tree69423221d5e53317eca4caa8265cea60fd45b9a2
parent6d9704caefde82e494a8eeffe7abee5978f9f7b1
Clarify phpdoc of DatabaseUpdater::addExtensionUpdate

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