<?php

# server running the wolframe daemon
$WOLFRAME_SERVER = "localhost";
 
# wolframe daemon port
$WOLFRAME_PORT = 7962;

# for SSL secured communication, a file with combined client certificate
# and client key
$WOLFRAME_COMBINED_CERTS = "certs/combinedcert.pem";

# which user agents should use client XSLT
$BROWSERS_USING_CLIENT_XSLT = array(
#	"op12", "ie8", "ie9", "ie10", "moz23", "webkit27", "webkit28", "moz11"
);
