php.ini中的user_agent是什么意思？有什么作用？