`revcheck.php` web with outdated info

php / web-doc

http://doc.php.net

33 stars 84 forks source link

`revcheck.php` web with outdated info #44

Closed alfsb closed 11 months ago

alfsb commented 11 months ago

http://doc.php.net/revcheck.php?p=files&lang=pt_br shows file curl-setopt.xml with old hash 52dbbb, but it was updated from this hash some days ago.

A local run of scripts/rev.php does not generate an outdated line for curl-setopt.xml, so I suspect that there is a problem on git updating or the running of scripts/rev.php.

alfsb commented 11 months ago

Fixed with https://github.com/php/doc-base/issues/105 .