export snippets to txt file

<?php

define('DB_NAME', 'bp_code_snippets');

/** Utilisateur de la base de données MySQL. */
define('DB_USER', 'root');

/** Mot de passe de la base de données MySQL. */
define('DB_PASSWORD', 'root');

/** Adresse de l'hébergement MySQL. */
define('DB_HOST', 'localhost');

$connect = mysql_connect( DB_HOST, DB_USER, DB_PASSWORD );
mysql_select_db( DB_NAME );

$sql = mysql_query( "SELECT * FROM wp_code_snippets", $connect);
$csv = '';

while ( $results = mysql_fetch_object( $sql ) ) {
    $csv .= stripslashes( html_entity_decode( $results->snippet_content, ENT_QUOTES ) ) ."\n\n";
}

header("content-type: text/csv; charset=utf-8" );
header('Content-Disposition: attachement; filename="export.csv"');
echo $csv;
?>