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! If you don't have a Git account, you can't do anything here.
If you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
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-2026 The PHP Group
All rights reserved. 		Last updated: Wed Feb 04 04:00:01 2026 UTC