1 files changed, 16 insertions, 0 deletions
diff --git a/devtools/client/application/src/types/routing.js b/devtools/client/application/src/types/routing.js
new file mode 100644
index 0000000000..a1d922ab3d
--- /dev/null
+++ b/devtools/client/application/src/types/routing.js
@@ -0,0 +1,16 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+
+"use strict";
+
+const PropTypes = require("resource://devtools/client/shared/vendor/react-prop-types.js");
+const {
+  PAGE_TYPES,
+} = require("resource://devtools/client/application/src/constants.js");
+
+const page = PropTypes.oneOf(Object.values(PAGE_TYPES));
+
+module.exports = {
+  page,
+};