Skip to content

Apply $wgSmjEnableMenu to MathJax.options.enableMenu - #85

Merged
jmnote merged 1 commit into
mainfrom
enable-menu-fix
Oct 8, 2026
Merged

jmnote merged 1 commit into
mainfrom
enable-menu-fix

Conversation

@jmnote

@jmnote jmnote commented Oct 8, 2026

Copy link
Copy Markdown
Owner

Stacked on #84 (same lines); after #84 is merged the base becomes main.

$wgSmjEnableMenu is documented as MathJax.options.enableMenu and exported to the page, but the client never read it, so setting it to false had no effect. The client now passes it to options.enableMenu (default true, checked against extension.json by JsDefaultsTest).

Browser, MediaWiki 1.43: right-click on a formula opens the MathJax menu by default; with wgSmjEnableMenu: false no menu opens. All 84 formulas render in both cases. make checks passes.

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 8, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-08T16:59:40.985818Z 48e67ef PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

Base automatically changed from explorer-setting to main October 8, 2026 17:09
@pull-request-size pull-request-size Bot added size/M and removed size/XS labels Oct 8, 2026
The setting was exported to the page but never read by the client, so
$wgSmjEnableMenu = false had no effect.
@pull-request-size pull-request-size Bot added size/XS and removed size/M labels Oct 8, 2026
@jmnote
jmnote merged commit 021be63 into main Oct 8, 2026
1 check passed
@jmnote
jmnote deleted the enable-menu-fix branch October 8, 2026 17:12
@jmnote jmnote mentioned this pull request Oct 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant