[mojo] Delete third_party/mojo

third_party/mojo/src/mojo/edk/system/channel_id.h

Index: third_party/mojo/src/mojo/edk/system/channel_id.h
diff --git a/third_party/mojo/src/mojo/edk/system/channel_id.h b/third_party/mojo/src/mojo/edk/system/channel_id.h
deleted file mode 100644
index fa35298172e25390e8ffbef440384e2867a9715d..0000000000000000000000000000000000000000
--- a/third_party/mojo/src/mojo/edk/system/channel_id.h
+++ /dev/null
@@ -1,23 +0,0 @@
-// Copyright 2015 The Chromium Authors. All rights reserved.
-// Use of this source code is governed by a BSD-style license that can be
-// found in the LICENSE file.
-
-#ifndef THIRD_PARTY_MOJO_SRC_MOJO_EDK_SYSTEM_CHANNEL_ID_H_
-#define THIRD_PARTY_MOJO_SRC_MOJO_EDK_SYSTEM_CHANNEL_ID_H_
-
-#include <stdint.h>
-
-namespace mojo {
-namespace system {
-
-// IDs for |Channel|s managed by a |ChannelManager|. (IDs should be thought of
-// as specific to a given |ChannelManager|.)
-using ChannelId = uint64_t;
-
-// 0 is never a valid |ChannelId|.
-const ChannelId kInvalidChannelId = 0;
-
-}  // namespace system
-}  // namespace mojo
-
-#endif  // THIRD_PARTY_MOJO_SRC_MOJO_EDK_SYSTEM_CHANNEL_ID_H_