No space_id filter in Administration->Mail obsolete project->Filter on space

In the drop-down menu, no option is available:

The algorithm uses the php function file_get_content() to access application.properties (at the website's root).

mentioned in commit 79e2979d

mentioned in commit 7ae77474

mentioned in merge request !132 (merged)

closed