Bonjour
Tout est dans le titre
Je dois faire mal ma requête sur google, mais je ne trouve pas de site pour le code source natif des fonctions et autres php que l'on peut trouver par exemple https://www.php.net/
Merci à vous tous
Version imprimable
Bonjour
Tout est dans le titre
Je dois faire mal ma requête sur google, mais je ne trouve pas de site pour le code source natif des fonctions et autres php que l'on peut trouver par exemple https://www.php.net/
Merci à vous tous
les sources de PHP sont sur github là :
https://github.com/php
vous pouvez aussi trouver des informations sur la préparation de l'environnement de travail dans la documentation :
https://www.php.net/build-setup.php
Merci
Mais ça me parait compliqué juste pour avoir le code source des fonctions natives de php.
En plus je ne vois pas sur les deux liens où c'est exactement, et comment faire ?
J'espérais trouver une sorte de "javadoc" pour php !
Désolé, d'ailleurs, je ne me rappelle plus non plus quand je faisais du java, où j'avais trouvé aussi le code de chaque méthode de class , même si dans le labyrinthe d'oracle on retrouve parfois le code d'une méthode
Bref là, je cherchais juste pour PHP, par exemple le code de get_resource_id mais je suis sous PHP7.
Et plutôt que de me compliquer à tout mettre à jour vers PHP8 sous wamp et eclipse, me suis dit que j'allais coder la fonction, celle ci est simple, mais du coup je voulais quand même voir si la fonction native php8 était si différente.
Je dois être un peu largué là je crois :calim2:
PHP est écrit en C , tu ne peux donc pas remonter au code d'une fonction native comme tu le ferais en debuggant du java par exemple.
Le code source de la fonction que tu recherche est dispo ici : https://github.com/php/php-src/blob/...ctions.c#L1408 mais ca va pas t'avancer des masses.
Je doute d'ailleurs que tu puisse la reproduire simplement en PHP puisque ca traite des ressources qui est un "objet" interne à PHP.
Je comprend.
Comme je devais gérer des images, j'ai juste codé ça pour ressembler à la fonction que je n'avais pas accès en php7:
Je met en résolu par défaut ^^Code:
1
2
3
4
5
6
7 function get_resource_id($filename=NULL){ $ressourceInfo=getimagesize($filename,$info); $ressourceID=$ressourceInfo[2]; return $ressourceID; }