{"payload":{"definitions":[],"values":{},"canEditProperties":false},"title":"Settings · Custom properties · wikimedia/mediawiki-tools-karma-firefox-launcher"}