migrate remaining properties

Author: thecodingwizard

src/context/UserDataContext/UserDataContext.tsx

@@ -16,7 +16,7 @@ import { ModuleProgress } from '../../models/module';
 import { ProblemProgress } from '../../models/problem';
 import { ResourceProgress } from '../../models/resource';
 import runMigration from './migration';
-import { Language, Theme } from './properties/settings';
+import { Language, Theme } from './properties/simpleProperties';
 import { getLangFromUrl, updateLangURL } from './userLangQueryVariableUtils';
 import { UserPermissionsContextProvider } from './UserPermissionsContext';
 
@@ -103,6 +103,7 @@ const UserDataContext = createContext<UserDataContextAPI>({
   // make suer CREATING_ACCOUNT_FOR_FIRST_TIME is here
   userData: assignDefaultsToUserData({}),
   updateUserData: _ => {},
+  signOut: () => Promise.resolve(),
   firebaseUser: null,
   // firebaseUser: null,
   // getDataExport: () => Promise.resolve(),

src/context/UserDataContext/old-properties/divisionTableQuery.ts

@@ -1,3 +1,7 @@
+// NO LONGER USED
+// before it was used to migrate old problem statuses, but
+// it's been long enough that we probably don't need to support it anymore
+
 export default {
   'http://www.usaco.org/index.php?page=viewproblem2&cpid=807': 'usaco-807',
   'http://www.usaco.org/index.php?page=viewproblem2&cpid=591': 'usaco-591',