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

/* MediaWiki:Common.js */
/* Tout JavaScript ici sera chargé avec chaque page accédée par n’importe quel utilisateur. */

/* MediaWiki:Bibliothek.js */