Comments out special handling for reloading PHP-FPM on CentOS7, refs #3739

Nick Andriopoulos

2016-04-05 0d1c10dc994de1185ac59b04721bc04d8e8e3d9e

1
2
3
4
5
6
7
<?php
$wb['list_head_txt'] = 'Sprachdatei Editor';
$wb['language_select_txt'] = 'Sprache wählen';
$wb['module_txt'] = 'Modul';
$wb['lang_file_txt'] = 'Sprachdatei';
$wb['lang_file_date_txt'] = 'Letzte Änderung';
?>