name: Permission Filter type: module description: Create a filter for permission page. # core: 8.x package: Other # Information added by Drupal.org packaging script on 2016-10-26 version: '8.x-1.0' core: '8.x' project: 'permissions_filter' datestamp: 1477463041
