From beabd4eefad9ef399534f150dfd0ef74f9963cf5 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 | 33 +++++++++++++++++++ 2 files changed, 34 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..c747e744f --- /dev/null +++ b/lib/Migration/Version19000Date20241029123147.php @@ -0,0 +1,33 @@ +getTable('group_folders'); + $table->addIndex(['folder_id', 'mount_point', 'quota', 'acl'], 'group_folders_folders'); + + return $schema; + } +}