php: extension hider for .php