added admin and enduser interface for theme settings

cfoe

2012-07-20 6665c6cbb9e2025fc6b7f36cf9ff86ca9673cb1e

1
2
3
4
5
6
7
8
9
<?php
$wb['server_id_txt'] = 'Server';
$wb['type_txt'] = 'Filter';
$wb['pattern_txt'] = 'Regexp. Pattern';
$wb['data_txt'] = 'Data';
$wb['action_txt'] = 'Action';
$wb['active_txt'] = 'Active';
$wb['pattern_error_empty'] = 'Pattern is empty.';
?>