Get file extension in php

1. <?php
2.  
3.    $ext = strrchr($filename, ".");
4.  
5.    if($ext == ".pdf") {
6.  
7.       // do something
8.  
9.    }
10.  
11.    else {
12.  
13.       // warn user
14.  
15.    }
16.  
17.  
18.  
19. ?>