Works fine on PHP7.2.34, ReleaseEduSec2.1.3 - View it on GitHub