diff --git a/doc/docker/development/Dockerfile b/doc/docker/development/Dockerfile
index 5ab433d2a5..b8e7fe5efe 100644
--- a/doc/docker/development/Dockerfile
+++ b/doc/docker/development/Dockerfile
@@ -14,7 +14,7 @@ ENV VERSION=$VERSION
 ENV PHP_VERSION=$PHP_VERSION
 
 RUN apt-get update \
-	&& apt-get install -y software-properties-common \
+	&& apt-get install -y software-properties-common curl \
 	&& LC_ALL=C.UTF-8 add-apt-repository -y ppa:ondrej/php \
 	&& apt-get update \
 	&& bash -c "apt-get install -y php$PHP_VERSION-{cli,mysql,gd,xsl,bz2,opcache,apcu,tidy,zip,bcmath,mbstring,smbclient,ldap,curl,fpm,pgsql,gmp}" \