please use our class `phpbb\php\ini`