jenkins-bot has submitted this change and it was merged.
Change subject: Followup 8c71904: use getter for availableTools
......................................................................
Followup 8c71904: use getter for availableTools
This property was made lazy-initialized in the meantime,
so we can't access it directly any more.
Change-Id: I6bf79d85e1fdd837da1a620169de34e1cd814bbe
---
M src/ui/ve.ui.Context.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Esanders: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/ui/ve.ui.Context.js b/src/ui/ve.ui.Context.js
index 93a1c8e..cd57910 100644
--- a/src/ui/ve.ui.Context.js
+++ b/src/ui/ve.ui.Context.js
@@ -195,7 +195,7 @@
* @return {boolean} Content is inspectable
*/
ve.ui.Context.prototype.hasInspector = function () {
- var i, availableTools = this.availableTools;
+ var i, availableTools = this.getAvailableTools();
for ( i = availableTools.length - 1; i >= 0; i-- ) {
if ( availableTools[i].tool.prototype instanceof
ve.ui.InspectorTool ) {
return true;
--
To view, visit https://gerrit.wikimedia.org/r/155831
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6bf79d85e1fdd837da1a620169de34e1cd814bbe
Gerrit-PatchSet: 1
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Esanders <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
