Wikibase Registry is now Wikibase World. Learn more on the project talk page.
Whether or not a user is editing through the mobile interface