ho scaricato il file da qualche sito e l'ho buttato dentro la cartella.... non mi picchiare....
E allora come si fa?

In questo periodo sto cercando di informarmi il più possibile sul php per non essere troppo sprovveduto, ma su queste estensioni non trovo info da nessuna parte su come si usano effettivamente.

Grazie ancora per la pazienza...