Final PHP5-based version - May 2019

• fixes a bug in circ_history.php
• if at all possible, you should use version 1.3.x or higher, which works on PHP7+
• this is the last version that supports PHP5, which is deprecated and should be avoided