wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 14:33:59 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Select tool when it's been closed by education tool popup button"

Browse source
This commit is contained in:
jenkins-bot 2016-03-29 16:42:38 +00:00 committed by Gerrit Code Review
parent b9643881d9 0760cd6974
commit 190c64ed69
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ve-mw/ui/tools/ve.ui.MWEducationPopupTool.js
View file

@ -124,4 +124,6 @@ ve.ui.MWEducationPopupTool.prototype.onPopupCloseButtonClick = function () {
$.cookie( 've-hideusered', 1, { path: '/', expires: 30 } );
}
}
this.onSelect();
};