Fixed bug #4272: Inconsistent return values of ini_get() produce false positives...