style update; added library for php