64ffd66fa4
[web] notify the editor after restoring a deleted doc GitOrigin-RevId: 4bd316958827c83a56a82f9ff72f5ff803d32631