Merge branch 'develop' into 175-display-other-extension-of-same-user

10 jobs for 175-display-other-extension-of-same-user in 6 minutes and 38 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Maintenance
manual #31277
allowed to fail manual
Get dump for local environment
 
  Test
passed #31286
test:mutation

00:01:08

passed #31279
test:php

00:01:46

passed #31278
test:typoscript

00:01:46

passed #31280
test:unit

00:03:13

14.07%
failed #31281
allowed to fail
test:mutation

00:02:48

 
  Build
passed #31282
build

00:00:37

 
  Layout
passed #31283
layout

00:01:23

 
  Badges
passed #31284
Create Badge

00:00:30

passed #31285
mutation:badge

00:00:34