From 60ff87bd33db33326b1b0d022a9a8fc26420290b Mon Sep 17 00:00:00 2001 From: provokateurin Date: Tue, 29 Oct 2024 13:40:42 +0100 Subject: [PATCH] perf: Add index for group_folders table Signed-off-by: provokateurin --- appinfo/info.xml | 2 +- .../Version19000Date20241029123147.php | 37 +++++++++++++++++++ 2 files changed, 38 insertions(+), 1 deletion(-) create mode 100644 lib/Migration/Version19000Date20241029123147.php diff --git a/appinfo/info.xml b/appinfo/info.xml index c3c575022..6dd2571cb 100644 --- a/appinfo/info.xml +++ b/appinfo/info.xml @@ -13,7 +13,7 @@ Folders can be configured from *Group folders* in the admin settings. After a folder is created, the admin can give access to the folder to one or more groups, control their write/sharing permissions and assign a quota for the folder. ]]> - 19.0.0-dev.3 + 19.0.0-dev.4 agpl Robin Appelman GroupFolders diff --git a/lib/Migration/Version19000Date20241029123147.php b/lib/Migration/Version19000Date20241029123147.php new file mode 100644 index 000000000..f53beaa88 --- /dev/null +++ b/lib/Migration/Version19000Date20241029123147.php @@ -0,0 +1,37 @@ +hasTable('group_folders')) { + $table = $schema->getTable('group_folders'); + if (!$table->hasIndex('gf_folders_folder_id')) { + $table->addUniqueIndex(['folder_id'], 'gf_folders_folder_id'); + } + } + + return $schema; + } +}