LOGman 3.1.3 | 03 May 2018 improved - Update translations fixed - PHP 7.2 compatibility fixed - Show IP address on backend main activity stream fixed - Small user interface fixes