* instead of the local filesystem. Depending on circumstances, it may also
* be necessary to change the cookie settings to work across hostnames.
* See: http://www.php.net/manual/en/function.session-set-save-handler.php
+ *
+ * @package MediaWiki
*/
/**