jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/316750 )
Change subject: Add dropSequence to postgres ...................................................................... Add dropSequence to postgres This is how to set it [ 'dropSequence', 'logging', 'logging_log_id_seq' ] for example Change-Id: I567287703310eff2e9e3cde8f2423dbf5e990a4b --- M includes/installer/PostgresUpdater.php 1 file changed, 7 insertions(+), 0 deletions(-) Approvals: Aaron Schulz: Looks good to me, approved saper: Looks good to me, but someone else must approve jenkins-bot: Verified diff --git a/includes/installer/PostgresUpdater.php b/includes/installer/PostgresUpdater.php index 39cb89c..99569ea 100644 --- a/includes/installer/PostgresUpdater.php +++ b/includes/installer/PostgresUpdater.php @@ -626,6 +626,13 @@ } } + protected function dropSequence( $table, $ns ) { + if ( $this->db->sequenceExists( $ns ) ) { + $this->output( "Dropping sequence $ns\n" ); + $this->db->query( "DROP SEQUENCE $ns CASCADE" ); + } + } + protected function renameSequence( $old, $new ) { if ( $this->db->sequenceExists( $new ) ) { $this->output( "...sequence $new already exists.\n" ); -- To view, visit https://gerrit.wikimedia.org/r/316750 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I567287703310eff2e9e3cde8f2423dbf5e990a4b Gerrit-PatchSet: 15 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: Aaron Schulz <asch...@wikimedia.org> Gerrit-Reviewer: Brion VIBBER <br...@wikimedia.org> Gerrit-Reviewer: Jcrespo <jcre...@wikimedia.org> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: TTO <at.li...@live.com.au> Gerrit-Reviewer: jenkins-bot <> Gerrit-Reviewer: saper <sa...@saper.info> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits