Improved php patch function.

tbrehm

2013-08-23 200f0f4652d29b22f94ee2da39fc98542b2e1ea4

 interface/web/admin/list/server_config.list.php

@@ -25,7 +25,7 @@
$liste["search_prefix"]    = "search_";

// Records per page
$liste["records_per_page"]    = 15;
$liste["records_per_page"]    = "15";

// Script File of the list
$liste["file"]            = "server_config_list.php";