/* generated javascript */
var skin = 'puzzlepiratesstretch';
var stylepath = '/de/skins';

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

/* MediaWiki:Puzzlepiratesstretch.js (deprecated; migrate to Common.js!) */