PostgresUpdater: Rename custom "dropIndex" to "dropPgIndex"
authorBrad Jorsch <bjorsch@wikimedia.org>
Mon, 26 Mar 2018 16:14:50 +0000 (12:14 -0400)
committerBrad Jorsch <bjorsch@wikimedia.org>
Mon, 26 Mar 2018 16:16:44 +0000 (12:16 -0400)
commitd001e72b52c22ba9877d4b4e593bc2c5ee2bddad
tree7f4051255d7fb809ff1083da8c591429c92079c1
parentb9c46d28ffe8c8d6f5128b81dd936d864957f479
PostgresUpdater: Rename custom "dropIndex" to "dropPgIndex"

There doesn't seem to be any reason this shouldn't follow the naming
conventions of other PG-specific schema change functions, and Ie9dbda329
shows that difference can be confusing.

Change-Id: Ie3e0d5b130486aa9ab5eebd879dca846dfa99584
includes/installer/PostgresUpdater.php