Fixes #10507.

3 jobs for develop in 3 minutes and 44 seconds
Status Job ID Name Coverage
  Before
passed #5595
documentation

00:00:39

 
  Build
passed #5596
snapshot

00:01:15

 
  Selenium
passed #5597
selenium

00:01:49