>> PR's to enable it would be highly appreciated.
Good idea! I created a pull request about 6 weeks ago. Just a few small changes. Still waiting for reviewing. Not really motivating.
Explanatory note: We currently host 14 ILIAS instances, 11 runnning with version 5.3, 3 with version 5.2.
I don't want to update all to version 5.4 just because of PHP 7.2.
Greetings
Good idea! I created a pull request about 6 weeks ago. Just a few small changes. Still waiting for reviewing. Not really motivating.
Explanatory note: We currently host 14 ILIAS instances, 11 runnning with version 5.3, 3 with version 5.2.
I don't want to update all to version 5.4 just because of PHP 7.2.
Greetings