$key [line 33]
$key = isset($_SERVER[$key])?$_SERVER[$key]:''
|
|
INI_FILE [line 55]
INI_FILE = add_homedir('pukiwiki.ini.php')
|
|
PKWK_ENCODING_HINT [line 87]
PKWK_ENCODING_HINT = (isset($_LANG['encode_hint'])&&$_LANG['encode_hint']!='encode_hint')?$_LANG['encode_hint']:''
|
|
S_COPYRIGHT [line 17]
S_COPYRIGHT = '<strong>PukiWiki Plus! '.S_VERSION.'</strong>'.' Copyright © 2001-2007'.' <a href="http://pukiwiki.cafelounge.net/plus/">PukiWiki Plus! Team</a>.'.' License is <a href="http://www.gnu.org/licenses/gpl.html">GPL</a>.<br />'.' Based on <a href="http://pukiwiki.sourceforge.jp/">"PukiWiki"</a>'
|
|
S_VERSION [line 16]
S_VERSION = '1.4.7plus-u2-i18n'
|
|
UA_INI_FILE [line 121]
UA_INI_FILE = add_homedir(UA_PROFILE.'.ini.php')
|
|
UA_NAME [line 128]
UA_NAME = isset($user_agent['name'])?$user_agent['name']:''
|
|
UA_PROFILE [line 119]
UA_PROFILE = isset($user_agent['profile'])?$user_agent['profile']:''
|
|
UA_VERS [line 129]
UA_VERS = isset($user_agent['vers'])?$user_agent['vers']:''
|
|
USR_INI_FILE [line 48]
USR_INI_FILE = add_homedir('pukiwiki.usr.ini.php')
|
|