function java_get_server_name() { return java_server_name(); }
<?php // Remove all entries from the php.ini and call this twice, with and // w/o java.so include_once "java/Java.inc"; echo java_server_name();
/** * {@inheritDoc} */ public function getHtmlScriptSource() { if (function_exists("java_get_base") && java_server_name() && is_object($this->value) && $this->value instanceof java_JavaType) { return highlight_string(java_cast($this->value, "S"), true); } else { return highlight_string($this->value, true); } }