Style: Use latest version of prettier

Author: sanssecours

doc/CODING.md

@@ -388,7 +388,7 @@ brew install prettier
 To install [`prettier`][] using Node’s package manager [npm](https://www.npmjs.com) you can use the command below
 
 ```sh
-npm install --global prettier@1.18.2
+npm install --global prettier@1.19.1
 ```
 
 .

scripts/dev/reformat-markdown

@@ -16,7 +16,7 @@ cd "$SOURCE" || {
 PRETTIER="$(which prettier)"
 
 if [ -z "${PRETTIER}" ]; then
-	printf 2>&1 'Please install `prettier` (npm install --global prettier@1.18.2)\n'
+	printf 2>&1 'Please install `prettier` (npm install --global prettier@1.19.1)\n'
 	exit 1
 fi
 

scripts/docker/debian/sid/Dockerfile

@@ -76,7 +76,7 @@ RUN mkdir -p ${GTEST_ROOT} \
     && rm gtest.tar.gz
 
 # Prettier
-RUN npm install --global prettier@1.18.2
+RUN npm install --global prettier@1.19.1
 
 # hyperfine
 ARG HYPERFINE_VERSION=1.5.0