mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-12 09:09:25 +00:00
Don't load VE or NWE on lint-targetted pages (until that works)
Bug: T160102 Change-Id: Ibb364ff2d89975d5907fa887cca666eee6e78d37
This commit is contained in:
parent
2a9562aca5
commit
c07a6df74c
|
@ -156,6 +156,7 @@ class VisualEditorHooks {
|
||||||
isset( $params['preload'] ) ||
|
isset( $params['preload'] ) ||
|
||||||
isset( $params['preloadtitle'] ) ||
|
isset( $params['preloadtitle'] ) ||
|
||||||
isset( $params['preloadparams'] ) ||
|
isset( $params['preloadparams'] ) ||
|
||||||
|
isset( $params['lintid'] ) ||
|
||||||
isset( $params['veswitched'] );
|
isset( $params['veswitched'] );
|
||||||
// Known-good parameters: edit, veaction, section
|
// Known-good parameters: edit, veaction, section
|
||||||
|
|
||||||
|
|
|
@ -865,6 +865,7 @@
|
||||||
uri.query.preload === undefined &&
|
uri.query.preload === undefined &&
|
||||||
uri.query.preloadtitle === undefined &&
|
uri.query.preloadtitle === undefined &&
|
||||||
uri.query.preloadparams === undefined &&
|
uri.query.preloadparams === undefined &&
|
||||||
|
uri.query.lintid === undefined &&
|
||||||
uri.query.veswitched === undefined
|
uri.query.veswitched === undefined
|
||||||
// Known-good parameters: edit, veaction, section
|
// Known-good parameters: edit, veaction, section
|
||||||
// TODO: other params too? See identical list in VisualEditor.hooks.php)
|
// TODO: other params too? See identical list in VisualEditor.hooks.php)
|
||||||
|
|
Loading…
Reference in a new issue