[MediaWiki-commits] [Gerrit] Fixes: Navigation does not update CodeMirror edit box in WDQ... - change (wikidata...rdf)

2015-12-29 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fixes: Navigation does not update CodeMirror edit box in WDQS GUI .. Fixes: Navigation does not update CodeMirror edit box in WDQS GUI Bug: T122380 Chang

[MediaWiki-commits] [Gerrit] Fixes: Navigation does not update CodeMirror edit box in WDQ... - change (wikidata...rdf)

2015-12-29 Thread Jonas Kress (WMDE) (Code Review)
Jonas Kress (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/261359 Change subject: Fixes: Navigation does not update CodeMirror edit box in WDQS GUI .. Fixes: Navigation does not update CodeMirror