mirror of
https://github.com/php/web-doc.git
synced 2025-08-13 14:40:31 +00:00
41 lines
1.7 KiB
PHP
41 lines
1.7 KiB
PHP
<?php
|
|
/* vim: set expandtab tabstop=4 shiftwidth=4 softtabstop=4:
|
|
+----------------------------------------------------------------------+
|
|
| PHP Documentation Site Source Code |
|
|
+----------------------------------------------------------------------+
|
|
| Copyright (c) 1997-2009 The PHP Group |
|
|
+----------------------------------------------------------------------+
|
|
| This source file is subject to version 3.0 of the PHP license, |
|
|
| that is bundled with this package in the file LICENSE, and is |
|
|
| available at through the world-wide-web at |
|
|
| http://www.php.net/license/3_0.txt. |
|
|
| If you did not receive a copy of the PHP license and are unable to |
|
|
| obtain it through the world-wide-web, please send a note to |
|
|
| license@php.net so we can mail you a copy immediately. |
|
|
+----------------------------------------------------------------------+
|
|
| Authors: Sean Coates <sean@php.net> |
|
|
+----------------------------------------------------------------------+
|
|
$Id$
|
|
*/
|
|
|
|
/* Note: If someone has a more efficient way of doing this,
|
|
* please fee free to step up. I'm just re-using what livedocs
|
|
* already seems to do well... only the `ents` table is required.
|
|
* -S
|
|
*/
|
|
|
|
set_time_limit(0);
|
|
$scriptBegin = time();
|
|
$inCli = true;
|
|
require_once '../include/init.inc.php';
|
|
require_once '../include/lib_url_entities.inc.php';
|
|
|
|
echo "Grabbing livedocs DB...\n";
|
|
|
|
copy(REMOTE_ENTITY_SQLITE_FILE, ENTITY_SQLITE_FILE);
|
|
|
|
$scriptTime = time() - $scriptBegin;
|
|
echo "Completed in $scriptTime seconds\n";
|
|
|
|
?>
|