<pedrocorreia.net ⁄>
corner
<mySearch ⁄> <mySearch ⁄>

corner
 
corner
<mySnippets order="rand" ⁄> <mySnippets order="rand" ⁄>

corner
 
corner
<myContacts ⁄> <myContacts ⁄>

<email ⁄>


pc@pedrocorreia.net

<windows live messenger ⁄>


pedrojacorreia@hotmail.com

<myCurriculum type="pdf" ⁄>


Download
corner
 
corner
<myBlog show="last" ⁄> <myBlog show="last" ⁄>

corner
 
corner
<myNews show="rand" ⁄> <myNews show="rand" ⁄>

corner
 
corner
<myNews type="cat" ⁄> <myNews type="cat" ⁄>

corner
 
corner
<myQuote order="random" ⁄> <myQuote order="random" ⁄>

corner
 
corner
<myPhoto order="random" ⁄> <myPhoto order="random" ⁄>

<pedrocorreia.net ⁄>
corner
 
corner
<myAdSense ⁄> <myAdSense ⁄>

corner
 
corner
<myVisitorsMap ⁄> <myVisitorsMap ⁄>

corner
 
 

<Obter a extensão do ficheiro ⁄ >




clicks: 10683 10683 2006-10-08 2006-10-08 goto mySnippets mySnippets php  Download  Bookmark This Bookmark This



Por vezes é necessário obter as extensões do ficheiro, seja para fazer tratamento de uma imagem, verificar se os documentos são válidos para a nossa aplicação, ou até mesmo para fazer algum tipo de estatisticas, etc, etc. Este pequeno snippet devolve a extensão do ficheiro. Basicamente o que faz é devolver tudo o que estiver à direita do ultimo ponto, ou seja, tanto funciona para .jpg, .java, .tar.gz, etc.
Enough talking, here goes the code!
  1. <?php
  2. /**
  3. * Obter a extensão do ficheiro
  4. *
  5. * @param String - nome do ficheiro
  6. * @return String - extensão do ficheiro
  7. */
  8. function getFileExtension($file){
  9. return strtolower(substr(strrchr($file, "."),1));
  10. }
  11. ?>



Qualquer erro/ dúvida é só dizer!









clicks: 10683 10683 2006-10-08 2006-10-08 goto mySnippets mySnippets php  Download  Bookmark This Bookmark This