| Updated | September 19, 2022 (18 months ago) |
|---|---|
| Source | User:Elominius/gadget/diff arrow keys.js |
Navigate revisions conveniently with Ctrl+← and Ctrl+→.
If you prefer to use arrow keys only, use diff_arrow_keys_without_CTRL.js.
| Updated | September 19, 2022 (18 months ago) |
|---|---|
| Source | User:Elominius/gadget/diff arrow keys.js |
Navigate revisions conveniently with Ctrl+← and Ctrl+→.
If you prefer to use arrow keys only, use diff_arrow_keys_without_CTRL.js.