Merge branch 'master' into 'master'

Marius Burkard

2015-12-08 10e9f75e0948d9dd72a4431c67292a05d582483c

1
2
3
4
5
6
7
8
<?php
$wb['list_head_txt'] = 'Available packages';
$wb['name_txt'] = 'Name';
$wb['version_txt'] = 'Version';
$wb['category_txt'] = 'Category';
$wb['status_txt'] = 'Unlocked';
$wb['filter_txt'] = 'Search';
?>