User:Galobtter/Shortdesc helper dev.js

/* Don't install this. Instead directly use the gadget, as described at User:Galobtter/Shortdesc helper. */ mw.loader.using( 'user.options' ).then( function {	if ( mw.user.options.get('gadget-Shortdesc-helper') === null ) {		new mw.Api.saveOption('gadget-Shortdesc-helper', '1');		mw.loader.load( ['ext.gadget.Shortdesc-helper'] );	} } );