[doc-base] master: Fix typos and grammars in repo root directory (#350)

Author: Chun-Sheng, Li (peter279k) Committer: GitHub (web-flow) Pusher: kamil-tekiela Date: 2026-10-01T18:27:28+01:00 Commit: https://github.com/php/doc-base/commit/a99f4372a97499886afc5ddde0f75cdfdd138e4a Raw diff: https://github.com/php/doc-base/commit/a99f4372a97499886afc5ddde0f75cdfdd138e4a.diff Fix typos and grammars in repo root directory (#350) Changed paths: M configure.php M languages.php Diff: diff --git a/configure.php b/configure.php index 65104fdf1a..c18775d54e 100755 --- a/configure.php +++ b/configure.php @@ -253,7 +253,7 @@ function find_xml_files($path) // {{{ $rootdir = dirname($basedir); /** - * When checking out this repository on GitHub Actions, the workspace directory is "/home/runner/work/doc-base/doc-base". + * When checking out this repository on GitHub Actions, the workspace directory is "/home/runner/work/doc-base/doc-base". * * To avoid applying dirname() here, we check if we are running on GitHub Actions. * @@ -910,7 +910,7 @@ function xinclude_run_byid( DOMDocument $dom ) function xinclude_run_xpointer( DOMDocument $dom ) : int { // The return of xinclude() cannot be used for counting or stoping, as it - // sometimes return zero/negative in cases of partial executions + // sometimes returns zero/negative in cases of partial executions $total = 0; for( $run = 0 ; $run < 10 ; $run++ ) diff --git a/languages.php b/languages.php index 2d6e80734d..58fb9ff7a0 100644 --- a/languages.php +++ b/languages.php @@ -45,9 +45,9 @@ function print_usage() [--list-csv] [--list-ssv] [--rev] [--all] [lang] [lang] ... -Options that operates on local repositories: +Options that operate on local repositories: - --clone Clone a sibling language repo, if not exists + --clone Clone a sibling language repo, if it does not exist --undo Restore and clean up repositories to a pristine state --pull Executes git pull --mark Creates/deletes marking files @@ -236,7 +236,7 @@ function gitUndo( Lang $lang ) if ( ! file_exists( $lang->path ) ) { - echo "undo {$lang->code}: path does not exists, skipping.\n"; + echo "undo {$lang->code}: path does not exist, skipping.\n"; return; } else @@ -259,7 +259,7 @@ function gitPull( Lang $lang ) if ( ! file_exists( $lang->path ) ) { - echo "pull {$lang->code}: path does not exists, skipping.\n"; + echo "pull {$lang->code}: path does not exist, skipping.\n"; return; } else