Release 4.2.3[Comments] 2019/05/22: Free Workaround for some versions of PHP 7.x that would cause define()s to be ignored. Add config note to settings tabs. Fix documentation links.