php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Doc Bug #30200 ducumentation is_int()
Submitted: 2004-09-22 21:55 UTC Modified: 2004-09-23 09:44 UTC
Votes:1
Avg. Score:5.0 ± 0.0
Reproduced:1 of 1 (100.0%)
Same Version:1 (100.0%)
Same OS:1 (100.0%)
From: hornominator at web dot de Assigned:
Status: Not a bug Package: Documentation problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Developer Edit
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
Package:
Bug Type:
Summary:
From: hornominator at web dot de
New email:
PHP Version: OS:

 

 [2004-09-22 21:55 UTC] hornominator at web dot de 
Description:
------------
hello,

i think there's a bug in your documentation.

http://de.php.net/is_int

ok, maybe right that is_int() is a synonym for itsself, but i think, it's better to write, that is_int() is a synonym for is_integer(), too.

bye, c.horn
hornominator@web.de

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2004-09-23 09:44 UTC] vrana@php.net 
You have to wait until German documentation will be synced with English. You can contact German translation group at doc-de@lists.php.net if you want to help with the translation.
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved. 		Last updated: Sun Jul 13 23:01:33 2025 UTC