|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #72545 Your search fails to locate any info on $argv
Submitted: 2016-07-05 07:03 UTC Modified: 2016-07-05 11:43 UTC
Avg. Score:3.0 ± 0.8
Reproduced:2 of 2 (100.0%)
Same Version:1 (50.0%)
Same OS:1 (50.0%)
From: ulrich dot eckhardt at finanzcheck dot de Assigned:
Status: Verified Package: Website problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but you forgot your password, you can retrieve your password here.
Bug Type:
From: ulrich dot eckhardt at finanzcheck dot de
New email:
PHP Version: OS:


 [2016-07-05 07:03 UTC] ulrich dot eckhardt at finanzcheck dot de
Just hit and enter "$argv" into the search box at the top-right. You should get as hit, but instead you are told that "$argv doesn't exist".

From manual page:


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2016-07-05 07:20 UTC]
-Type: Documentation Problem +Type: Bug -Package: Online Doc Editor problem +Package: Website problem
 [2016-07-05 11:43 UTC]
-Status: Open +Status: Verified
 [2016-07-05 11:43 UTC]
Indeed, the search functionality has several limitations; besides
this one, magic constants (bug #67624) and some aliases (bug
#66340) won't be found, and some substring searches (bug #68362)
don't deliver all reasonable results. Patches would be welcome.

As workaround for now (if you have JS and localStorage enable),
after typing `$argv` in the searchbox you can select the presented
$argv from the drop-down menu, which should lead to the correct
man page.
 [2023-03-06 04:23 UTC] bagasben12345 at gmail dot com
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Sat Mar 02 05:01:28 2024 UTC