Lines Matching defs:HISTORY_FILE_EXTENSION
215 private static final String HISTORY_FILE_EXTENSION = ".xml";361 && !historyFileName.endsWith(HISTORY_FILE_EXTENSION)) {362 mHistoryFileName = historyFileName + HISTORY_FILE_EXTENSION;