devilbox/.devilbox/www/htdocs/vendor/phppgadmin-7.13.0/help/PostgresDoc13.php

<?php

/**
 * Help links for PostgreSQL 9.5 documentation
 *
 * $Id: PostgresDoc84.php,v 1.3 2008/11/18 21:35:48 ioguix Exp $
 */

include('./help/PostgresDoc12.php');

$this->help_base = sprintf($GLOBALS['conf']['help_base'], '13');

?>
Fixes #641 Adding latest version of phpPgAdmin 2019-11-21 13:35:45 +01:00			`<?php`

			`/**`
			`* Help links for PostgreSQL 9.5 documentation`
			`*`
			`* $Id: PostgresDoc84.php,v 1.3 2008/11/18 21:35:48 ioguix Exp $`
			`*/`

#728 Updated phpPgAdmin from 7.12 to 7.13 2020-11-07 15:52:05 +01:00			`include('./help/PostgresDoc12.php');`
Fixes #641 Adding latest version of phpPgAdmin 2019-11-21 13:35:45 +01:00
#728 Updated phpPgAdmin from 7.12 to 7.13 2020-11-07 15:52:05 +01:00			`$this->help_base = sprintf($GLOBALS['conf']['help_base'], '13');`
Fixes #641 Adding latest version of phpPgAdmin 2019-11-21 13:35:45 +01:00
			`?>`