jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/364737 )
Change subject: BSGroupManager: Activated filter for ExtJS grid
......................................................................
BSGroupManager: Activated filter for ExtJS grid
Change-Id: I1110141e5dcb8fe9cb040a6af6b1c93f5aa425da
---
M GroupManager/resources/BS.GroupManager/Panel.js
1 file changed, 2 insertions(+), 1 deletion(-)
Approvals:
Mglaser: Looks good to me, approved
jenkins-bot: Verified
diff --git a/GroupManager/resources/BS.GroupManager/Panel.js
b/GroupManager/resources/BS.GroupManager/Panel.js
index f6f648d..be496cc 100644
--- a/GroupManager/resources/BS.GroupManager/Panel.js
+++ b/GroupManager/resources/BS.GroupManager/Panel.js
@@ -27,7 +27,8 @@
header:
mw.message('bs-groupmanager-headergroup').plain(),
sortable: true,
dataIndex: 'group_name',
- flex: 1
+ flex: 1,
+ filterable: true
} );
this.colAdditionalGroup = Ext.create( 'Ext.grid.column.Column',
{
id: 'additional_group',
--
To view, visit https://gerrit.wikimedia.org/r/364737
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1110141e5dcb8fe9cb040a6af6b1c93f5aa425da
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions
Gerrit-Branch: master
Gerrit-Owner: Pwirth <wi...@hallowelt.biz>
Gerrit-Reviewer: Mglaser <gla...@hallowelt.biz>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
