[midPoint-git] [Evolveum/midpoint] 6e2e41: Update role mining data export.

[Tadeas Chrapovic]

  Branch: refs/heads/feature/role-mining
  Home:   https://github.com/Evolveum/midpoint
  Commit: 6e2e416845e4d8d899e9241a6f0096385d085a61
      https://github.com/Evolveum/midpoint/commit/6e2e416845e4d8d899e9241a6f0096385d085a61
  Author: tchrapovic <chrapovic.tadeas at gmail.com>
  Date:   2023-05-15 (Mon, 15 May 2023)

  Changed paths:
    M gui/admin-gui/src/main/java/com/evolveum/midpoint/gui/api/component/mining/analyse/tools/RoleMiningDataGenerator.java
    M gui/admin-gui/src/main/java/com/evolveum/midpoint/web/component/dialog/ExportMiningPanel.html
    M gui/admin-gui/src/main/java/com/evolveum/midpoint/web/component/dialog/ExportMiningPanel.java
    M gui/admin-gui/src/main/java/com/evolveum/midpoint/web/page/admin/configuration/PageDebugList.java
    M gui/admin-gui/src/main/java/com/evolveum/midpoint/web/page/admin/configuration/component/RoleMiningExportOperation.java
    M tools/ninja/src/main/java/com/evolveum/midpoint/ninja/action/mining/ExportMiningConsumerWorker.java
    M tools/ninja/src/main/java/com/evolveum/midpoint/ninja/action/mining/ExportMiningOptions.java
    M tools/ninja/src/main/resources/messages.properties

  Log Message:
  -----------
  Update role mining data export.