//Schnittstelle XML
//Installation:
// Webserververzeichnis/ext/xml
// Anpassung nicht erforderlich
require ('_xml_extension.php');
define("global_extensionxmlversion",320 );
function extensionxmlinit()
{
global $user_xml_extension_pages;
global $user_xml_scheme1_search;
global $user_xml_scheme2_search;
global $user_xml_scheme3_search;
global $user_xml_scheme4_search;
global $user_xml_scheme5_search;
global $user_xml_scheme6_search;
global $user_xml_scheme7_search;
global $user_xml_search_marker1;
global $user_xml_search_marker1_end;
if ($user_xml_extension_pages == "0")
{
$user_xml_extension_pages = "7021,7022,7023";
}
if (strlen($user_xml_scheme1_search) == 0)
{
$user_xml_scheme1_search = "sessionnet";
}
if (strlen($user_xml_scheme2_search) == 0)
{
$user_xml_scheme2_search = "recordset";
}
if (strlen($user_xml_scheme3_search) == 0)
{
$user_xml_scheme3_search = "record";
}
if (strlen($user_xml_scheme4_search) == 0)
{
$user_xml_scheme4_search = "type";
}
if (strlen($user_xml_scheme5_search) == 0)
{
$user_xml_scheme5_search = "text";
}
if (strlen($user_xml_scheme6_search) == 0)
{
$user_xml_scheme6_search = "longtext";
}
if (strlen($user_xml_scheme7_search) == 0)
{
$user_xml_scheme7_search = "link";
}
if (strlen($user_xml_search_marker1) == 0)
{
$user_xml_search_marker1 = "