downgrades mini profiler to what it used to be
Merge branch '7.1.5' of https://github.com/umbraco/Umbraco-CMS into 7.1.5