$csv_data = file($_FILES["filebutton"]["tmp_name"],FILE_SKIP_EMPTY_LINES | FILE_IGNORE_NEW_LINES);
                
                $array = array();
                foreach ($csv_data as $line) {
                    // $array[] = str_getcsv($line); //the default separator is ,
                    $array[] = str_getcsv($line,";");
                }