[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE closed this task as "Resolved". Lucas_Werkmeister_WMDE moved this task from Backlog to Done on the Wikidata Query UI board. Lucas_Werkmeister_WMDE added a comment. Fixed \o/ TASK DETAIL https://phabricator.wikimedia.org/T278685 WORKBOARD

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread Maintenance_bot
Maintenance_bot removed a project: Patch-For-Review. TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Lucas_Werkmeister_WMDE, Maintenance_bot Cc: Aklapper, Lucas_Werkmeister_WMDE, Invadibot,

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread gerritbot
gerritbot added a comment. Change 681679 **merged** by Lucas Werkmeister (WMDE): [wikidata/query/gui-deploy@production] Merging from 5ab668f6df228c0e8a376f8b68b3f6f6006a81bf https://gerrit.wikimedia.org/r/681679 TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread gerritbot
gerritbot added a comment. Change 681679 had a related patch set uploaded (by WDQSGuiBuilder; author: WDQSGuiBuilder): [wikidata/query/gui-deploy@production] Merging from 5ab668f6df228c0e8a376f8b68b3f6f6006a81bf https://gerrit.wikimedia.org/r/681679 TASK DETAIL

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread gerritbot
gerritbot added a comment. Change 681672 **merged** by jenkins-bot: [wikidata/query/gui@master] Update CodeMirror to 5.61.0 https://gerrit.wikimedia.org/r/681672 TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE claimed this task. TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Lucas_Werkmeister_WMDE Cc: Aklapper, Lucas_Werkmeister_WMDE, Invadibot, MPhamWMF, maantietaja,

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread gerritbot
gerritbot added a comment. Change 681672 had a related patch set uploaded (by Lucas Werkmeister (WMDE); author: Lucas Werkmeister (WMDE)): [wikidata/query/gui@master] Update CodeMirror to 5.61.0 https://gerrit.wikimedia.org/r/681672 TASK DETAIL

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread gerritbot
gerritbot added a project: Patch-For-Review. TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: gerritbot Cc: Aklapper, Lucas_Werkmeister_WMDE, Invadibot, MPhamWMF, maantietaja, Alter-paule,

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-04-21 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE added a comment. CodeMirror 5.61.0 is out and should include a fix for this. TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Lucas_Werkmeister_WMDE Cc: Aklapper,

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-03-30 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE moved this task from Reported Upstream to Patch merged upstream on the Upstream board. Lucas_Werkmeister_WMDE added a comment. Fixed by upstream, now awaiting next CodeMirror release. TASK DETAIL https://phabricator.wikimedia.org/T278685 WORKBOARD

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-03-29 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE added a project: Upstream. Lucas_Werkmeister_WMDE added a comment. Reported upstream as codemirror/CodeMirror#6637 . TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-03-29 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE added a comment. Aha, but it doesn’t happen if you put a space before the period. TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Lucas_Werkmeister_WMDE Cc: Aklapper,

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-03-29 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE added a comment. Issue still exists in CodeMirror 5.60.0, as far as I can tell. TASK DETAIL https://phabricator.wikimedia.org/T278685 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: Lucas_Werkmeister_WMDE Cc: Aklapper,

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-03-29 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE added a comment. It looks like this issue was introduced with rWDQG64b9ed57e129: chore: upgrade dependencies to make npm audit happy , which upgraded CodeMirror from 5.54.0 to 5.59.2.

[Wikidata-bugs] [Maniphest] T278685: Bad indentation after triple in Wikidata Query UI

2021-03-29 Thread Lucas_Werkmeister_WMDE
Lucas_Werkmeister_WMDE created this task. Lucas_Werkmeister_WMDE added a project: Wikidata Query UI. Restricted Application added a subscriber: Aklapper. Restricted Application added a project: Wikidata. TASK DESCRIPTION Since recently, the query service suggests to indent a simple query like