1
0
mirror of https://github.com/php/php-src.git synced 2026-03-25 08:42:29 +01:00
Files
archived-php-src/ext/spl/examples/dba_dump.php
Peter Kokot 1c850bfcca Sync leading and final newlines in source code files
This patch adds missing newlines, trims multiple redundant final
newlines into a single one, and trims redundant leading newlines.

According to POSIX, a line is a sequence of zero or more non-' <newline>'
characters plus a terminating '<newline>' character. [1] Files should
normally have at least one final newline character.

C89 [2] and later standards [3] mention a final newline:
"A source file that is not empty shall end in a new-line character,
which shall not be immediately preceded by a backslash character."

Although it is not mandatory for all files to have a final newline
fixed, a more consistent and homogeneous approach brings less of commit
differences issues and a better development experience in certain text
editors and IDEs.

[1] http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/V1_chap03.html#tag_03_206
[2] https://port70.net/~nsz/c/c89/c89-draft.html#2.1.1.2
[3] https://port70.net/~nsz/c/c99/n1256.html#5.1.1.2
2018-10-14 12:55:24 +02:00

43 lines
923 B
PHP
Executable File

<?php
/** @file dba_dump.php
* @brief Program DBA dump utility
* @ingroup Examples
* @author Marcus Boerger
* @date 2003 - 2005
*
* Usage: php dba_dump.php \<file\> \<handler\> [\<regex\>]
*
* Show all groups in the ini file specified by \<file\>.
* The regular expression \<regex\> is used to filter the by setting name.
*
* Note: configure with --enable-dba
*/
if ($argc < 3) {
echo <<<EOF
Usage: php ${_SERVER['PHP_SELF']} <file> <handler> [<regex>]
Show all groups in the ini file specified by <file>.
The regular expression <regex> is used to filter the by setting name.
EOF;
exit(1);
}
if (!class_exists("DbaReader", false)) require_once("dbareader.inc");
if (!class_exists("KeyFilter", false)) require_once("keyfilter.inc");
$db = new DbaReader($argv[1], $argv[2]);
if ($argc>3) {
$db = new KeyFilter($db, $argv[3]);
}
foreach($db as $key => $val) {
echo "'$key' => '$val'\n";
}
?>