Change Details

**Steps to replicate the issue**: * In [[https://meta.wikimedia.org/wiki/Special:GlobalPreferences#mw-prefsection-editing|GlobalPreferences]], enable "Show preview without reloading the page" and click Save * In [[https://test.wikipedia.org/wiki/Special:Preferences#mw-prefsection-editing|Preferences]], uncheck "Show preview without reloading the page" after checking "Set a local exception for this global preference" below it, and click Save * Start [[https://test.wikipedia.org/w/index.php?title=Wikipedia:Sandbox&action=edit|editing a page]] and click "Show diff" or "Show preview" **What happens?**: The preview or diff appears without without reloading the page. **What should have happened instead?**: Clicking the button navigates to a new page. **Other information**: `mw.user.options.get('uselivepreview')` is set to the expected `0`, but the module `mediawiki.action.edit.preview` is nonetheless loaded. This suggests `$this->userOptionsLookup->getOption( $user, 'uselivepreview' )` [[https://gerrit.wikimedia.org/g/mediawiki/core/+/ee9f0d2499cd0b138625340eafbefd298909cdd8/includes/editpage/EditPage.php#2744|here]] is not working as expected.

**Steps to replicate the issue**: * In [[https://meta.wikimedia.org/wiki/Special:GlobalPreferences#mw-prefsection-editing|GlobalPreferences]], enable "Show preview without reloading the page" and click Save * In [[https://test.wikipedia.org/wiki/Special:Preferences#mw-prefsection-editing|Preferences]], uncheck "Show preview without reloading the page" after checking "Set a local exception for this global preference" below it, and click Save * Start [[https://test.wikipedia.org/w/index.php?title=Wikipedia:Sandbox&action=edit|editing a page]] and click "Show diff" or "Show preview" **What happens?**: The preview or diff appears without reloading the page (i.e. live preview is on). **What should have happened instead?**: Clicking the button navigates to a new page (live preview is off). **Other information**: `mw.user.options.get('uselivepreview')` is set to the expected `0`, but the module `mediawiki.action.edit.preview` is nonetheless loaded. This suggests `$this->userOptionsLookup->getOption( $user, 'uselivepreview' )` [[https://gerrit.wikimedia.org/g/mediawiki/core/+/ee9f0d2499cd0b138625340eafbefd298909cdd8/includes/editpage/EditPage.php#2744|here]] is not working as expected.

**Steps to replicate the issue**: * In [[https://meta.wikimedia.org/wiki/Special:GlobalPreferences#mw-prefsection-editing|GlobalPreferences]], enable "Show preview without reloading the page" and click Save * In [[https://test.wikipedia.org/wiki/Special:Preferences#mw-prefsection-editing|Preferences]], uncheck "Show preview without reloading the page" after checking "Set a local exception for this global preference" below it, and click Save * Start [[https://test.wikipedia.org/w/index.php?title=Wikipedia:Sandbox&action=edit|editing a page]] and click "Show diff" or "Show preview" **What happens?**: The preview or diff appears without without reloading the pagee (i.e. live preview is on). **What should have happened instead?**: Clicking the button navigates to a new page (live preview is off). **Other information**: `mw.user.options.get('uselivepreview')` is set to the expected `0`, but the module `mediawiki.action.edit.preview` is nonetheless loaded. This suggests `$this->userOptionsLookup->getOption( $user, 'uselivepreview' )` [[https://gerrit.wikimedia.org/g/mediawiki/core/+/ee9f0d2499cd0b138625340eafbefd298909cdd8/includes/editpage/EditPage.php#2744|here]] is not working as expected.