Boy132 6fb54e32f1

Use tabs instead of filter for server list (#937) ...

* use tabs instead of filter for server list

* move "all servers" to end

2025-01-24 08:29:07 +01:00

..

Admin

Add roles to owner selector on Create/Edit Server page (#935)

2025-01-23 02:47:13 +01:00

App/Resources

Use tabs instead of filter for server list (#937)

2025-01-24 08:29:07 +01:00

Components

Update phpstan to latest (#804)

2025-01-16 14:53:50 -05:00

Pages/Auth

Update phpstan to latest (#804)

2025-01-16 14:53:50 -05:00

Server

files tooltip for activity logs (#938)

2025-01-24 08:28:40 +01:00