From 285fffc7df6f2d4e6a35e1e3c8558224cd0361b0 Mon Sep 17 00:00:00 2001 From: Matias Griese Date: Wed, 27 Nov 2019 21:42:43 +0200 Subject: [PATCH] Flex Page admin: added selected if filters match --- system/src/Grav/Common/Flex/Pages/PageIndex.php | 1 + 1 file changed, 1 insertion(+) diff --git a/system/src/Grav/Common/Flex/Pages/PageIndex.php b/system/src/Grav/Common/Flex/Pages/PageIndex.php index e740eff67..42e82acc8 100644 --- a/system/src/Grav/Common/Flex/Pages/PageIndex.php +++ b/system/src/Grav/Common/Flex/Pages/PageIndex.php @@ -421,6 +421,7 @@ class PageIndex extends FlexPageIndex 'modified' => $this->jsDate($child->modified()), 'child_count' => $child->children()->count() ?: null, 'count' => $child->children()->getIndex()->filterBy($filters, true)->count() ?: null, + 'selected' => $child->filterBy($filters, false) ?: null, 'extras' => $extras ]; $payload = array_filter($payload, static function ($v) {