/* Don't install this. Instead directly use the gadget, as described at ]. */
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( );
}
} );