Old PHP helper libraries