[web] notify the editor after restoring a deleted doc GitOrigin-RevId: 4bd316958827c83a56a82f9ff72f5ff803d32631
Restore soft deleted docs from admin GitOrigin-RevId: 5c94539ae950c401225d2cfe7c0bc978ed258e22