if($_SERVER['SERVER_NAME']=="localhost") //change if local server name is different
{
    $db_name='local_db_name';
    $db_username='local_db_username';
    $db_password='local_db_password';
    $db_host='local_db_host';
}
else // production server database credentials
{
    $db_name='production_db_name';
    $db_username='production_db_username';
    $db_password='production_db_password';
    $db_host='production_db_host';
}

// ** MySQL settings - You can get this info from your web host ** //
/** The name of the database for WordPress */
define('DB_NAME', $db_name);

/** MySQL database username */
define('DB_USER', $db_username);

/** MySQL database password */
define('DB_PASSWORD', $db_password);

/** MySQL hostname */
define('DB_HOST', $db_host);