Eclipse è un IDE meravigioso: con un’architettura modulare ( a plugin ), con gli strumenti di debug e con una stabilità che suscita invidia….il tutto open source!!
Vi sono varie versione pre-configurate di Eclipse, in base alle esigenze dello sviluppatore: c’è la versione per gli sviluppatori J2EE, per applicazioni Java Mobile, per sviluppatori PHP, ecc.
Ma è anche possibile scaricarsi la versione base e scegliere “a mano” la configurazione che si preferisce, installando i plugin che necessitano allo sviluppatore.
Anche se Eclipse nasce principalmente per gli sviluppatori Java, negli ultimi anni sono state perfezionate versioni per i principali linguaggi web-side, come ad esempio PHP e Ruby. In questo articolo andremo a vedere come integrare il manuale PHP all’interno dell’IDE, in modo da avere a portata di click le principali librererie che questo linguaggio di programmazione mette a disposizione.
Di default, il PDT (PHP Development Tools ) di Eclipse segue il manuale online del famoso sito www.php.net: ovviamente questa è la scelta più comoda, visto che è sicuramente la documentazione più aggiornata di questo linguaggio. Il problema è che questa soluzione vale per un pc sempre connesso a Internet. Se abbiamo la necessità di lavorare sempre con la documentazione, anche quando non siamo connessi (e sarebbe un bene che tutti gli sviluppatori lo facessero), allora dobbiamo seguire questi semplici passi:
1) dal sito di riferimento www.php.net scarichiamo la versione html del manuale, situata al seguente indirizzo www.php.net/download-docs.php (nel caso il download sia congestionato, si può scaricare la documentazione anche dal mirror italiano, al seguente indirizzo)
2) Una volta scaricato e unzippato l’archivio, apriamo Eclipse (con il PDT già installato), andiamo su:
Window –> Preferences –> PHP —> PHP Manual
e creiamo un nuovo elemento cliccando sul tasto “New” e selezionando l’inserimento da cartella.
3) Ad inserimento effettuato, clicchiamo sul nuovo elemento e poi sul tasto “Default” se vogliamo che questa sia la versione di default del nostro manuale
A questo punto abbiamo finito: avremo a disposizione per il nostro sviluppo PHP il manuale e la documentazione vitale per ogni sviluppatore, sia che siamo connessi a Internet sia nel caso in cui ci troviamo a lavorare in assenza di connessione.