joe f0aae62012 更新 HasnTrait 的接口函数名以区分 StringTrait %!s(int64=3) %!d(string=hai) anos
..
BoardBot.php da023376a6 add leader board robots %!s(int64=3) %!d(string=hai) anos
Robots.php f0aae62012 更新 HasnTrait 的接口函数名以区分 StringTrait %!s(int64=3) %!d(string=hai) anos