Fix fatal due to lock name mismatch in Maintenance::unlockSearchindex
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 20 Mar 2019 04:16:25 +0000 (21:16 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 20 Mar 2019 04:29:14 +0000 (21:29 -0700)
commit7d33a793e4080cdc42c9ad1c747e6d64d6019f71
tree2caab7eb6aaf834000db8689f09c4d73d09d7ae0
parent59cf3ed5725e180476680bc20d54fa5efee8a2e8
Fix fatal due to lock name mismatch in Maintenance::unlockSearchindex

Change-Id: Id18c0c8eb20c215ba7421e087b721ac7dc57227a
maintenance/Maintenance.php