Fix minor issue in Users page
Remove double entry in db_update.php
#831 Fix support for PHP 5.4 and lower
Merge branch 'version3.4' into version3.5