update mini profiler
update mini profiler

ghuntley/stack-exchange-data-explorer,ghuntley/stack-exchange-data-explorer,ghuntley/stack-exchange-data-explorer,SamSaffron/DataExplorerPG,SamSaffron/DataExplorerPG