Update history.class.php

Formatting changes