simple php libraries for miscellaneous tasks