update times.library.php