<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_5ir15qnq8gghh0d1n4opol2o8d, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static void aAddMenuItems(fS... items) {
  androidUI(r {
    Menu menu = aGetOptionsMenu();
    if (menu == null) ret;
    Set<S> set = ciSet();
    int n = menu.size();
    for i to n:
      set.add(str(menu.getItem(i).getTitle()));
    
    for (S s : items)
      if (!set.contains(s))
        menu.add(s);
  });
}