User:Nigos/scripts/RandomCategory.js

/* This script is used to add a link to Special:Random/Category. */ mw.loader.using( [ 'mediawiki.util' ], function { 	mw.util.addPortletLink( 'p-navigation', mw.util.getUrl( 'Special:Random/Category' ), 'Random category', 'n-randomcategory', 'i', 'Load a random category', '#n-sitesupport' ); } );