diff options
| author |  shine <4771718+shinenelson@users.noreply.github.com>
| 2021-10-07 20:26:39 +0530 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-10-07 16:56:39 +0200 |
| commit | e69a7872ce0479f35daef9fc5183b02b51d065ac (patch) | |
| tree | 94fb0fe8448a203295d40e68662dadc7a8e84530 /source/options-storage.ts | |
| parent | 90ad3b20c70681ca0ee85ef341e1818a887f9462 (diff) | |
| download | refined-github-e69a7872ce0479f35daef9fc5183b02b51d065ac.tar.gz refined-github-e69a7872ce0479f35daef9fc5183b02b51d065ac.tar.zst refined-github-e69a7872ce0479f35daef9fc5183b02b51d065ac.zip | |
Rename `navigate-pages-with-arrow-keys` to `pagination-hotkey` (#4743)
Diffstat (limited to 'source/options-storage.ts')
| -rw-r--r-- | source/options-storage.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/options-storage.ts b/source/options-storage.ts index f18a2b13..59b5ce6f 100644 --- a/source/options-storage.ts +++ b/source/options-storage.ts @@ -36,6 +36,7 @@ const migrations = [ featureWasRenamed('hide-useless-newsfeed-events', 'hide-noisy-newsfeed-events'), // Merged in August featureWasRenamed('no-useless-split-diff-view', 'no-unnecessary-split-diff-view'), // Merged in August featureWasRenamed('unwrap-useless-dropdowns', 'unwrap-unnecessary-dropdowns'), // Merged in August + featureWasRenamed('navigate-pages-with-arrow-keys', 'pagination-hotkey'), // Merged in September // Removed features will be automatically removed from the options as well OptionsSyncPerDomain.migrations.removeUnused, |