Is there a Timezone for Brasilia?

Question

I am developing an app in PHP. And I need to set Timezone for Brasilia. However in the php documentation I have:

$timezones = array(
'AC' => 'America/Rio_branco',   'AL' => 'America/Maceio',
'AP' => 'America/Belem',        'AM' => 'America/Manaus',
'BA' => 'America/Bahia',        'CE' => 'America/Fortaleza',
'DF' => 'America/Sao_Paulo',    'ES' => 'America/Sao_Paulo',
'GO' => 'America/Sao_Paulo',    'MA' => 'America/Fortaleza',
'MT' => 'America/Cuiaba',       'MS' => 'America/Campo_Grande',
'MG' => 'America/Sao_Paulo',    'PR' => 'America/Sao_Paulo',
'PB' => 'America/Fortaleza',    'PA' => 'America/Belem',
'PE' => 'America/Recife',       'PI' => 'America/Fortaleza',
'RJ' => 'America/Sao_Paulo',    'RN' => 'America/Fortaleza',
'RS' => 'America/Sao_Paulo',    'RO' => 'America/Porto_Velho',
'RR' => 'America/Boa_Vista',    'SC' => 'America/Sao_Paulo',
'SE' => 'America/Maceio',       'SP' => 'America/Sao_Paulo',
'TO' => 'America/Araguaia',     
);

How should I proceed ?

I consulted this source: https://secure.php.net/manual/en/timezones.america.php

Answer 1

Use the SP that is the same thing:

date_default_timezone_set('America/Sao_Paulo');

I put in the Github for future reference.

It is customary to adopt the most populous city of the region as a reference. You don’t need to have one city per country and you can have several selected cities in the same region. The capital is not adopted because it can change, even if it rarely happens, if moving is an inconvenience.