PHP中的money_format()函数