fix bug #54: PHP perspective: menu not show up when right click on file
in PHP Explorer