[geeklog-hg] [Geeklog-Core/geeklog] ebdb38: Fixes for Big Dump dealing with UI

[Tom]

  Branch: refs/heads/master
  Home:   https://github.com/Geeklog-Core/geeklog
  Commit: ebdb380ebcb6dc335727ba4ff5e9ec801bdf641a
      https://github.com/Geeklog-Core/geeklog/commit/ebdb380ebcb6dc335727ba4ff5e9ec801bdf641a
  Author: Tom Homer <tomhomer at gmail.com>
  Date:   2019-09-09 (Mon, 09 Sep 2019)

  Changed paths:
    M public_html/admin/install/bigdump.php

  Log Message:
  -----------
  Fixes for Big Dump dealing with UI

For #849