From f88a55e7904b368541ad33d2f07f6dd653786b62 Mon Sep 17 00:00:00 2001
From: Gustavo Brian <gustavo.brian@gmail.com>
Date: Mon, 16 Dec 2019 06:51:37 +0100
Subject: [PATCH] Fix dev-server parameter example (#8836)

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index eaf56f19c..c84a85826 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -437,7 +437,7 @@ You can run the Webpack dev server (in a separate terminal from Flask), which ru
 npm run dev-server
 
 # Run the dev server on a non-default port
-npm run dev-server -- --port=9001
+npm run dev-server -- --devserverPort=9001
 
 # Run the dev server proxying to a Flask server on a non-default port
 npm run dev-server -- --supersetPort=8081