// <source lang="javascript"> Top of Javascript
// tooltips and access keys

// Deutsche Oberflächenelemente für Extra-tabs.js
var tab_check_usage = 'Nutzung';
var tab_categorize = 'Kategorisieren';
var tab_log = 'Log';
var tab_gallery = 'Galerie';
var tab_orphans = 'Waisen';
var tab_untagged = 'Lizenzlose';
var tab_tree = 'Baum';
var tab_catscan = 'CatScan';
var tab_blocklog = 'Sperrlog';
var tab_wikipedia = 'de';

// Bottom of Javascript </source>