octoxan

function exportTableToCSV($table, filename) {

  var $rows = $table.find('tr:has(td),tr:has(th)'),

    // Temporary delimiter characters unlikely to be typed by keyboard
    // This is to avoid accidentally splitting the actual contents
    tmpColDelim = String.fromCharCode(11), // vertical tab character
    tmpRowDelim = String.fromCharCode(0), // null character

    // actual delimiter characters for CSV format

mizner

List of PHP 7 Packages: https://launchpad.net/ubuntu/+source/php7.0

Disclaimer: I get unreliable results when I don't run these commands seperately and in order.

vagrant ssh

sudo apt-get update
sudo add-apt-repository ppa:ondrej/php
sudo apt-get install php7.0
sudo apt-get update