Filing this as a security task for now out of precaution, but I'm also fine if it is made public, as reauthentication is a preventive measure and does not directly fix/prevent any vulnerabilities.
Based on the code at https://github.com/wikimedia/mediawiki-extensions-WikimediaCustomizations/blob/fff55eff4102a868f66bc2265d09b9e2ab082add/src/ForceReauth/ForceReauthHookHandler.php, it is currently not required to reauthenticate when editing a raw HTML message (e.g. MediaWiki:Mobile-frontend-editor-editing-page). However, JS can also be executed through raw HTML messages, so it doesn't make a lot of sense that editing JS requires reauthentication but editing raw HTML doesn't.
(I don't have editinterface on any WMF wiki, so I can't verify whether that's actually the case or if there is some other code somewhere that fixes this)