Moving old PHP lib to archive