<?php
-// $Id: file.php 8071 2011-05-18 14:56:14Z vargenau $
-
/**
* Copyright 1999, 2000, 2001, 2002, 2003 $ThePhpWikiProgrammingTeam
*
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/
-
require_once 'lib/WikiDB.php';
require_once 'lib/WikiDB/backend/file.php';
/**
* Constructor requires the DB parameters.
*/
- function WikiDB_file( $dbparams )
+ function WikiDB_file($dbparams)
{
- $backend = new WikiDB_backend_file( $dbparams );
+ $backend = new WikiDB_backend_file($dbparams);
$this->WikiDB($backend, $dbparams);
if (empty($dbparams['directory'])
- || preg_match('@^/tmp\b@', $dbparams['directory']))
+ || preg_match('@^/tmp\b@', $dbparams['directory'])
+ )
trigger_error(sprintf(_("The %s files are in the %s directory. Please read the INSTALL file and move the database to a permanent location or risk losing all the pages!"),
- "Page", "/tmp"), E_USER_WARNING);
+ "Page", "/tmp"), E_USER_WARNING);
}
}