Extension:PageServer

Purpose
Provides:
 * Page loading facility to other extensions
 * Parser functions (#mwmsg, #mwmsgx) and services to other extensions ( 'loadAndParse' )
 * Hooks:
 * Local page: page_server( &$prefix, &$name, &$result, &$id )
 * Remote page: page_remote( &$uri, &$page, &$etag, &$source, &$state, $expiry = null )

Features

 * Page loading hook: page_server, page_remote
 * Local Page loading from (in priority):
 * Parser Cache
 * Database
 * PEAR directory (/$pear/MediaWiki)
 * MediaWiki extensions directory in local installation
 * Remote Page loading from (in priority):
 * Cache
 * Remote HTTP URI
 * Page loading parser function: #load_page
 * On-demand loading of wiki page from filesystem
 * Optional parsing (with the MediaWiki parser) of the wiki page
 * All stock & extended functionality (i.e. through parser functions, parser tags) available during parsing phase
 * Parser functions:
 * #mwmsg   ( 'MediaWiki Message' )
 * #mwmsgx  ( 'MediaWiki Message with parameters' )

Good site, admin.

Dependencies

 * Extension:StubManager
 * PEAR package "HTTP/Request" is optional but required if "page_remote" hook is to be used