var searchData=
[
  ['while',['while',['../botservice_8php.html#a9397939c237959113b21e7e4a5de37cb',1,'while():&#160;botservice.php'],['../stat_8php.html#ab54633a8fada54bedd1fe3c2635cfaeb',1,'while():&#160;stat.php']]]
];
