--- libraries/Util.class.php.org 2014-03-18 10:52:07.000000000 +0100 +++ libraries/Util.class.php...