Editing: WildcardPermission.php