The Phpingguo PHP framework's utility common libraries