Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

Sortie d'un plugin de recherche dans la documentation PHP pour le navigateur Google Chrome

Le , par arnolem
21 commentaires

22PARTAGES

0  0 
La documentation PHP est maintenant disponible depuis Google Chrome grâce à l'extension PHP documentation - PHP.net

Vous pouvez l'installer ici : https://chrome.google.com/extensions...lgpiochncgdnhd





Nouvelle version :

Une erreur dans cette actualité ? Signalez-le nous !

21 commentaires
Poster une réponse Signaler un problème
Bryce de Mouriès
Avatar de Bryce de Mouriès
Membre averti https://www.developpez.com
Le 23/03/2010 à 10:56
Je dirai pas non à l'avoir sous firefox, ça me ferai gagner 10 secondes par jour !
1  0 
frinux
Avatar de frinux
Membre habitué https://www.developpez.com
Le 23/03/2010 à 11:02
@Bryce de Mouriès :

Tu n'as qu'à aller ici :
http://mycroft.mozdev.org/search-eng...l?name=php.net

Tu prends le site qu'il te faut (PHP Function List - FR-fr) et il te l'ajoutera dans la liste des moteurs de recherche de firefox (CTRL+K)
1  0 
Phelim
Avatar de Phelim
Membre confirmé https://www.developpez.com
Le 23/03/2010 à 11:03
Citation Envoyé par Bryce de Mouriès Voir le message
Je dirai pas non à l'avoir sous firefox, ça me ferai gagner 10 secondes par jour !
Pour firefox, ça existe déjà :
http://mycroft.mozdev.org/search-engines.html?name=php.net

Une grande partie des gros sites se servant des paramètres Get pour les recherches ont déjà un plug-in de recherche firefox.
1  0 
Bryce de Mouriès
Avatar de Bryce de Mouriès
Membre averti https://www.developpez.com
Le 23/03/2010 à 11:18
Merci beaucoup ! ce plugin chrome m'aura permis d'apprendre quelque chose d'utile pour FF
1  0 
gege2061
Avatar de gege2061
Rédacteur https://www.developpez.com
Le 23/03/2010 à 21:07
Citation Envoyé par AllanTK Voir le message
J'ai bien plus rapide sur Firefox en faite.
Il suffit d'aller sur fr.php.net, sélectionner le champ de recherche, clic droit "Ajouter un mot clé pour cette recherche", vous mettez comme mot clé PHP. Cette action créera un marque page.

Une fois fait, tout ce que vous aurez à faire, c'est CTRL+L (pour aller dans votre barre d'adresse): php votre_recherche

Evidemment, vous pouvez appliquer cette astuce pour tout et n'importe quoi ^^.
Alors ça c'est la classe En plus avec la synchronisation des marques pages, c'est déjà disponible sur tous mes PC. Merci
1  0 
frinux
Avatar de frinux
Membre habitué https://www.developpez.com
Le 24/03/2010 à 9:20
Citation Envoyé par Droup Voir le message
Faire une news juste pour ça ...
+1
1  0 
marps
Avatar de marps
Nouveau membre du Club https://www.developpez.com
Le 26/03/2010 à 12:55
Arrêtez de dire que ça sert à rien et que le développeur est la honte de l'humanité.

J'avoue ça ne me sert pas non plus, tout comme mon serveur de messagerie sur mon serveur personnel mais je suis pas là à me plaindre.

Ça existe ok, c'est cool. Après une news sur ça, je suis d'avis de dire que c'est inutile.
1  0 
AllanTK
Avatar de AllanTK
Membre du Club https://www.developpez.com
Le 23/03/2010 à 14:16
Citation Envoyé par Phelim Voir le message
Pour firefox, ça existe déjà :
http://mycroft.mozdev.org/search-engines.html?name=php.net

Une grande partie des gros sites se servant des paramètres Get pour les recherches ont déjà un plug-in de recherche firefox.
J'ai bien plus rapide sur Firefox en faite.
Il suffit d'aller sur fr.php.net, sélectionner le champ de recherche, clic droit "Ajouter un mot clé pour cette recherche", vous mettez comme mot clé PHP. Cette action créera un marque page.

Une fois fait, tout ce que vous aurez à faire, c'est CTRL+L (pour aller dans votre barre d'adresse): php votre_recherche

Evidemment, vous pouvez appliquer cette astuce pour tout et n'importe quoi ^^.
1  1 
benzoben
Avatar de benzoben
Membre actif https://www.developpez.com
Le 23/03/2010 à 17:14
Faire une news juste pour ça ...
Oui mais c'est Google Chrome quand même!
1  1 
yotsumi
Avatar de yotsumi
Membre actif https://www.developpez.com
Le 24/03/2010 à 15:16
Il suffit d'ajouter le moteur de recherche php.net/fr dans chrome et de lui donner un mot clé "php".

Ainsi il suffit de taper "php mafonction" dans la barre de recherche et on va directement sur la bonne page.

Par contre, il existe des plug-ins jquery permettant d'optimiser cette recherche en offrant de l'autocompletion sur les noms des fonctions php.
0  0 
Poster une réponse Signaler un problème