A PHP task manager library