diff options
author | Michal Čihař <michal@cihar.com> | 2008-11-24 12:55:30 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2008-11-24 12:55:30 +0300 |
commit | 9561f56875ca332bd0da92644a0d1a4b534ced6a (patch) | |
tree | ad2d5436a5494679d6bda675d807bf6481ed59f4 /setup/config.php | |
parent | 610cc27c5769ce32386e0b561233ac0f1452f33f (diff) |
Fix some phpdoc errors.
Diffstat (limited to 'setup/config.php')
-rw-r--r-- | setup/config.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/setup/config.php b/setup/config.php index 58073b206c..b32318fa05 100644 --- a/setup/config.php +++ b/setup/config.php @@ -8,6 +8,9 @@ * @version $Id$ */ +/** + * Core libraries. + */ require './lib/common.inc.php'; require_once './setup/lib/Form.class.php'; require_once './setup/lib/FormDisplay.class.php'; @@ -57,7 +60,7 @@ if (PMA_ifSetOr($_POST['submit_clear'], '')) { exit; } elseif (PMA_ifSetOr($_POST['submit_download'], '')) { // - // Output generated config file + // Output generated config file // header('Content-Type: text/plain'); header('Content-Disposition: attachment; filename="config.inc.php"'); @@ -97,4 +100,4 @@ if (PMA_ifSetOr($_POST['submit_clear'], '')) { header('Location: index.php?page=config'); exit; } -?>
\ No newline at end of file +?> |