Fix option name in maintenance/importDump.php
authorBrad Jorsch <bjorsch@wikimedia.org>
Mon, 23 Jul 2018 16:06:20 +0000 (12:06 -0400)
committerBrad Jorsch <bjorsch@wikimedia.org>
Wed, 3 Oct 2018 18:50:14 +0000 (14:50 -0400)
commit986dfa8f35188a89546b598f42b2d6840fb7af94
tree0a647ebbee9e5e6e5bcb0d5ecd42c398e3cb0bd3
parentb85e01f60bca73668eed043bf4b1d3b71ecf3401
Fix option name in maintenance/importDump.php

Bug: T200138
Change-Id: Icc5d9878bc3ebdf03efec9161b220ad0bf55dc9a
maintenance/importDump.php