diff options
| author | Amir Sarabadani <ladsgroup@gmail.com> | 2022-01-27 09:43:27 +0100 |
|---|---|---|
| committer | Amir Sarabadani <ladsgroup@gmail.com> | 2022-01-27 09:43:27 +0100 |
| commit | 203d422dc42002f1bbcac8ee0e23e76c8d6cce5d (patch) | |
| tree | 90f85dcc21d3c9af58078718d44d7bab64d9e42e /maintenance/postgres/archives | |
| parent | 72dc6417e8610674ee0af4d4de41b56e9e1b727d (diff) | |
| download | mediawikicore-203d422dc42002f1bbcac8ee0e23e76c8d6cce5d.tar.gz mediawikicore-203d422dc42002f1bbcac8ee0e23e76c8d6cce5d.zip | |
Drop rev_page_id index on revision
This is already applied in production and known to be safe.
Bug: T163532
Change-Id: Ief29372f13b2d7cdb19395dcda6eb15e9a53efca
Diffstat (limited to 'maintenance/postgres/archives')
| -rw-r--r-- | maintenance/postgres/archives/patch-drop-rev_page_id.sql | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintenance/postgres/archives/patch-drop-rev_page_id.sql b/maintenance/postgres/archives/patch-drop-rev_page_id.sql new file mode 100644 index 000000000000..eeaeffccea9a --- /dev/null +++ b/maintenance/postgres/archives/patch-drop-rev_page_id.sql @@ -0,0 +1,5 @@ +-- This file is automatically generated using maintenance/generateSchemaChangeSql.php. +-- Source: maintenance/abstractSchemaChanges/patch-drop-rev_page_id.json +-- Do not modify this file directly. +-- See https://www.mediawiki.org/wiki/Manual:Schema_changes +DROP INDEX rev_page_id;
\ No newline at end of file |