[galaxy-commits] commit/galaxy-central: carlfeberhard: History panel: add better protection v. lack of Galaxy, Galaxy.currUser