PHP : file is deprecated