帝国CMS点击量onclick的数值过万时,换成万为单位的方法

比如：点击量的数值过万时怎样变成 如： 10009变成1.09万
找到显示点击量的地方换成如下代码，下面是内容模板使用的代码：

1. <?=$navinfor[onclick]>=10000?($navinfor[onclick]/10000)."万":$navinfor[onclick]?>