echo"<p>". __("These values can't be edited since there's a global configuration located in <em>wp-config.php</em>. If you want to change these settings, please update the file or contact the administrator.",'wp-varnish') ."</p>\n";

// Also, if defined, show the varnish servers configured (VARNISH_SHOWCFG)