Page MenuHomePhabricator
Create Task
Maniphest T348793

native: \left( and friends should generate stretchy mo-elements
Closed, ResolvedPublic
Actions

Assigned To
Stegmujo
Authored By
Physikerwelt
Oct 12 2023, 5:46 PM
Project Tags
Referenced Files
Restricted File
Oct 13 2023, 1:21 PM
F38216814: Screenshot 2023-10-12 at 19.45.23.png
Oct 12 2023, 5:46 PM
Subscribers
Aklapper
Physikerwelt

Description

\left( should generate <mo>( instead of <mo stretchy=false>(

Screenshot 2023-10-12 at 19.45.23.png (2,664×364 px, 167 KB)

Details

Related Changes in Gerrit:
SubjectRepoBranchLines +/-
Deactivate stretchy attribute in left and rightmediawiki/extensions/Mathmaster+9 -2
Customize query in gerrit

Related Objects
Search...

Event Timeline

Physikerwelt created this task.Oct 12 2023, 5:46 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptOct 12 2023, 5:46 PM
Physikerwelt added a parent task: T348615: Implement User Feedback to Round One.Oct 12 2023, 5:46 PM
gerritbot added a comment.Oct 13 2023, 10:41 AM

Change 965687 had a related patch set uploaded (by Stegmujo; author: Stegmujo):

[mediawiki/extensions/Math@master] Deactivate stretchy attribute in left

https://gerrit.wikimedia.org/r/965687

gerritbot added a project: Patch-For-Review.Oct 13 2023, 10:41 AM
Physikerwelt renamed this task from native: \left( and frieds should not set stetchy to false in the respective <mo element to native: \left( and frieds should generate stretchy mo-elements .Oct 13 2023, 11:16 AM
gerritbot added a comment.Oct 13 2023, 1:04 PM

Change 965687 merged by jenkins-bot:

[mediawiki/extensions/Math@master] Deactivate stretchy attribute in left and right

https://gerrit.wikimedia.org/r/965687

Maintenance_bot removed a project: Patch-For-Review.Oct 13 2023, 1:10 PM
Physikerwelt added a comment.EditedOct 13 2023, 1:15 PM

{F38221204}

(works now in beta)

Physikerwelt closed this task as Resolved.Oct 13 2023, 1:22 PM
ReleaseTaggerBot added a project: MW-1.42-notes (1.42.0-wmf.1; 2023-10-17).Oct 13 2023, 2:00 PM
Aklapper renamed this task from native: \left( and frieds should generate stretchy mo-elements to native: \left( and friends should generate stretchy mo-elements .Oct 13 2023, 6:50 PM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits