/* generated javascript */
var skin = 'battlestar';
var stylepath = '/w/skins';

/* MediaWiki:Common.js */
/* Das folgende JavaScript wird für alle Benutzer geladen. */

/* MediaWiki:Battlestar.js */