Convenience wrapper around PHP's ini_get() function.