add ThinkPHP library