Searched refs:lastUsedWikiServer (Results 1 – 1 of 1) sorted by relevance
43 private int lastUsedWikiServer = 0; field in Settings136 return lastUsedWikiServer; in getLastUsedWikiServer()141 lastUsedWikiServer = l; in setLastUsedWikiServer()
Completed in 5 milliseconds