Merge branch...

Merge branch '388-rules-for-extension-keys-documented-differently-on-docs-typo3-org-and-extensions-typo3-org' into 'develop'

Resolve "Rules for extension keys documented differently on docs.typo3.org and extensions.typo3.org"

Closes #388

See merge request !673
10 jobs for develop in 7 minutes and 48 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Maintenance
manual Get dump for local environment #175492
allowed to fail manual
 
  Test
passed test:mutation #175496

00:02:39

passed test:php #175494

00:01:40

passed test:typoscript #175493

00:01:39

passed test:unit #175495

00:02:57

14.12%
 
  Build
passed build #175497

00:00:36

 
  Layout
passed layout #175498

00:01:21

 
  Deploy
passed deploy-develop #175499

00:02:16

 
  Badges
passed Create Badge #175500

00:00:30

passed mutation:badge #175501

00:00:34