dockfile for php