message: Fix cleanup_lists in linux.sh for old PHP
diff: @@ -41,6 +41,7 @@ cleanup_lists() {
  sudo mv /etc/apt/sources.list.d /etc/apt/sources.list.d.save
  sudo mkdir /etc/apt/sources.list.d
  sudo mv /etc/apt/sources.list.d.save/*ondrej*.list /etc/apt/sources.list.d/
  + sudo mv /etc/apt/sources.list.d.save/*dotdeb*.list /etc/apt/sources.list.d/ 2>/dev/null || true
  trap "sudo mv /etc/apt/sources.list.d.save/*.list /etc/apt/sources.list.d/" exit
  fi
  }
  