From 62c90a3b708158eed0dc80b2f78d8482708b5509 Mon Sep 17 00:00:00 2001
From: Tejas Bhuwania <35946746+Tejas2805@users.noreply.github.com>
Date: Sat, 29 Feb 2020 00:59:35 +0800
Subject: [PATCH] Add pageNav to Using Plugins Page (#1062)

---
 docs/userGuide/usingPlugins.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/userGuide/usingPlugins.md b/docs/userGuide/usingPlugins.md
index b88dbe06da..4ae21f7376 100644
--- a/docs/userGuide/usingPlugins.md
+++ b/docs/userGuide/usingPlugins.md
@@ -3,6 +3,7 @@
 <frontmatter>
   title: "User Guide: {{ title }}"
   layout: userGuide
+  pageNav: "default"
 </frontmatter>
 
 # Using Plugins