User:MusikAnimal/userRightsManager.js: Difference between revisions

Revision as of 06:41, 10 February 2017

Revision as of 06:43, 10 February 2017

Line 208:

size: 'medium'

});

dialog.static.name = { name: 'User rights manager' };

var windowManager = new OO.ui.WindowManager();