Fix 2 docker build problems: volume name too short, dubious ownership#5009

cweiske wants to merge 2 commits intophp:masterphp/doc-en:masterfrom

mogic-le:fix-buildmogic-le/php-doc-en:fix-buildCopy head branch name to clipboard