[Mediawiki-api-announce] User agents for gadgets and user scripts