ID edit
@Quiddity (WMF): I'd say "Some gadgets and user-scripts use the HTML div with the ID #jump-to-nav." — Alexis Jazz (talk or ping me) 09:02, 16 October 2020 (UTC)
@Quiddity (WMF): I'd say "Some gadgets and user-scripts use the HTML div with the ID #jump-to-nav." — Alexis Jazz (talk or ping me) 09:02, 16 October 2020 (UTC)Reply