Fix search #57

Open

RealZone22 wants to merge 4 commits from develop into main

pull from: develop

merge into: RealZone22:main

RealZone22:main

Conversation 0 Commits 4 Files changed 7 +184 -74

RealZone22 commented 2026-10-19 14:19:47 +02:00

Owner

• Copy link
• Copy Markdown

Fix sorting
Some visual fixes
Made multi-select filter not Deprecated anymore

Fix sorting Some visual fixes Made multi-select filter not Deprecated anymore

RealZone22 added 2 commits 2026-10-19 14:19:47 +02:00

Remove paddings d2d787c01b

Fix search ... 2e28f0204a

Fix sorting
Some visual fixes
Made multi-select filter not Deprecated anymore

RealZone22 added 1 commit 2026-10-19 14:19:53 +02:00

Merge branch 'main' into develop 5d80212b1a

RealZone22 added 1 commit 2026-10-20 10:28:35 +02:00

Export performance improvements 1832a7e5f0

All checks were successful

Hide checks

Fix PHP code style issues / php-code-styling (push) Successful in 4s

Details

run-tests / P8.4 - L12.* - prefer-stable (push) Successful in 58s

Details

run-tests / P8.4 - L13.* - prefer-stable (push) Successful in 1m27s

Details

This pull request can be merged automatically.

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin "develop:develop"

git switch "develop"

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

RealZone22/PenguTables!57

No description provided.