diff --git a/VisualEditor.hooks.php b/VisualEditor.hooks.php
index 1e8a206575..a535d34c6b 100644
--- a/VisualEditor.hooks.php
+++ b/VisualEditor.hooks.php
@@ -156,6 +156,7 @@ class VisualEditorHooks {
 			isset( $params['preload'] ) ||
 			isset( $params['preloadtitle'] ) ||
 			isset( $params['preloadparams'] ) ||
+			isset( $params['lintid'] ) ||
 			isset( $params['veswitched'] );
 			// Known-good parameters: edit, veaction, section
 
diff --git a/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js b/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
index ff49d2654f..95fcf7496c 100644
--- a/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
+++ b/modules/ve-mw/init/targets/ve.init.mw.DesktopArticleTarget.init.js
@@ -865,6 +865,7 @@
 				uri.query.preload === undefined &&
 				uri.query.preloadtitle === undefined &&
 				uri.query.preloadparams === undefined &&
+				uri.query.lintid === undefined &&
 				uri.query.veswitched === undefined
 				// Known-good parameters: edit, veaction, section
 				// TODO: other params too? See identical list in VisualEditor.hooks.php)