diff options
| author | Daniel Ruf <mac1@daniel-ruf.de> | 2020-05-31 14:18:19 +0200 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-05-31 15:03:09 +0200 |
| commit | cf513c2dc883edb5ad9e0e08a8e3349225646881 (patch) | |
| tree | da04647c4970cd72158b476892eb1a4955bec1c1 /main/main.c | |
| parent | c5d973613013b06eee076043c65f71932bf9b349 (diff) | |
| download | php-git-cf513c2dc883edb5ad9e0e08a8e3349225646881.tar.gz | |
Fix small typo in comment
Diffstat (limited to 'main/main.c')
| -rw-r--r-- | main/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/main.c b/main/main.c index 6143718d05..1cb78dbc0f 100644 --- a/main/main.c +++ b/main/main.c @@ -2575,7 +2575,7 @@ PHPAPI int php_execute_script(zend_file_handle *primary_file) } /* - If cli primary file has shabang line and there is a prepend file, + If cli primary file has shebang line and there is a prepend file, the `skip_shebang` will be used by prepend file but not primary file, save it and restore after prepend file been executed. */ |