2019-03-02 16:45:34 +00:00
< ? php
2020-09-23 22:22:39 +00:00
/* This Source Code Form is subject to the terms of the Mozilla Public
* License , v . 2.0 . If a copy of the MPL was not distributed with this
* file , You can obtain one at https :// mozilla . org / MPL / 2.0 /. */
2019-03-02 16:45:34 +00:00
/** The version of Pepperminty Wiki currently running. */
$version = " { version} " ;
$commit = " { commit} " ;
/// Environment ///
/** Holds information about the current request environment. */
$env = new stdClass ();
2020-07-28 18:40:22 +00:00
/** The action requested by the user. @var string */
2019-03-02 16:45:34 +00:00
$env -> action = $settings -> defaultaction ;
2020-07-28 18:40:22 +00:00
/** The page name requested by the remote client. @var string */
2019-03-02 16:45:34 +00:00
$env -> page = " " ;
2020-07-28 18:40:22 +00:00
/** The filename that the page is stored in. @var string */
2019-03-02 16:45:34 +00:00
$env -> page_filename = " " ;
2020-07-28 18:40:22 +00:00
/** Whether we are looking at a history revision or not. @var boolean */
2019-03-02 16:45:34 +00:00
$env -> is_history_revision = false ;
/** An object holding history revision information for the current request */
$env -> history = new stdClass ();
2020-07-28 18:40:22 +00:00
/** The revision number requested of the current page @var int */
2019-03-02 16:45:34 +00:00
$env -> history -> revision_number = - 1 ;
/** The revision data object from the page index for the requested revision */
$env -> history -> revision_data = false ;
/** The user's name if they are logged in. Defaults to `$settings->anonymous_user_name` if the user isn't currently logged in. @var string */
$env -> user = $settings -> anonymous_user_name ;
2020-07-28 18:40:22 +00:00
/** Whether the user is logged in @var boolean */
2019-03-02 16:45:34 +00:00
$env -> is_logged_in = false ;
2020-07-28 18:40:22 +00:00
/** Whether the user is an admin (moderator) @todo Refactor this to is_moderator, so that is_admin can be for the server owner. @var boolean */
2019-03-02 16:45:34 +00:00
$env -> is_admin = false ;
2020-07-28 18:40:22 +00:00
/** Whether the current request was made a secure connection or not. @var boolean */
2020-07-28 18:51:56 +00:00
$env -> is_secure = ! empty ( $_SERVER [ 'HTTPS' ] ) && $_SERVER [ 'HTTPS' ] !== 'off' ;
2019-03-02 16:45:34 +00:00
/** The currently logged in user's data. Please see $settings->users->username if you need to edit this - this is here for convenience :-) */
$env -> user_data = new stdClass ();
/** The data storage directory. Page filenames should be prefixed with this if you want their content. */
$env -> storage_prefix = $settings -> data_storage_dir . DIRECTORY_SEPARATOR ;
/** Contains performance data statistics for the current request. */
$env -> perfdata = new stdClass ();
/// Paths ///
/**
* Contains a bunch of useful paths to various important files .
* None of these need to be prefixed with `$env->storage_prefix` .
*/
$paths = new stdClass ();
/** The pageindex. Contains extensive information about all pages currently in this wiki. Individual entries for pages may be extended with arbitrary properties. */
$paths -> pageindex = " pageindex.json " ;
/** The inverted index used for searching. Use the `search` class to interact with this - otherwise your brain might explode :P */
2019-08-22 20:38:17 +00:00
$paths -> searchindex = " invindex.sqlite " ;
2020-03-15 17:54:27 +00:00
/** The didyoumean index for typo correction. Used by the search class - which also exposes an interface for interacting with it directly. */
2020-08-18 14:41:14 +00:00
$paths -> didyoumeanindex = " didyoumeanindex.sqlite " ;
2019-03-02 16:45:34 +00:00
/** The index that maps ids to page names. Use the `ids` class to interact with it :-) */
$paths -> idindex = " idindex.json " ;
/** The cache of the most recently calculated statistics. */
$paths -> statsindex = " statsindex.json " ;
/** The interwiki index cache */
$paths -> interwiki_index = " interwiki_index.json " ;
/** The cache directory, minus the trailing slash. Contains cached rendered versions of pages. If things don't update, try deleting this folder. */
$paths -> cache_directory = " ._cache " ;
// Prepend the storage data directory to all the defined paths.
foreach ( $paths as & $path ) {
$path = $env -> storage_prefix . $path ;
}
/** The master settings file @var string */
$paths -> settings_file = $settingsFilename ;
/** The directory to which the extra bundled data is extracted to @var string */
$paths -> extra_data_directory = " ._extra_data " ;
/** The prefix to add to uploaded files */
$paths -> upload_file_prefix = " Files/ " ;
// Create the cache directory if it doesn't exist
if ( ! is_dir ( $paths -> cache_directory ))
mkdir ( $paths -> cache_directory , 0700 );
2019-08-26 14:27:24 +00:00
// Set the user agent string
$php_version = ini_get ( " expose_php " ) == " 1 " ? " PHP/ " . phpversion () : " PHP " ;
2019-12-23 17:39:18 +00:00
ini_set ( " user_agent " , " $php_version ( $settings->sitename ; " . PHP_SAPI . " ; " . PHP_OS . " " . php_uname ( " m " ) . " ; " . ( PHP_INT_SIZE * 8 ) . " bits; rv: $version ) Pepperminty-Wiki/ $version - " . substr ( $commit , 0 , 7 ));
2019-08-26 14:27:24 +00:00
unset ( $php_version );