Addition of lib.php