- changed json handler for REST api

Marius Burkard

2016-05-23 ce9b51ed7f2febf37f2da0df983315f1c71f95a6

1
2
3
4
5
6
7
<?php
$wb['head_txt'] = 'Update Packagelist';
$wb['list_desc_txt'] = '';
$wb['btn_start_txt'] = 'Update Packagelist';
$wb['btn_cancel_txt'] = 'Annuler';
$wb['legend_txt'] = 'Here you can update the list of available packages. Please note that this can take up to five minutes. You can leave this page if you like; the process will continue in the background.';
?>