From d35725081b7c9fd2c51af8dfc132d2f5f9d752cb Mon Sep 17 00:00:00 2001 From: Li Date: Mon, 10 Oct 2022 13:22:15 +1300 Subject: [PATCH] update devtools.php --- devtools.php | 29 +++++++++++++++++++++++++++++ 1 file changed, 29 insertions(+) diff --git a/devtools.php b/devtools.php index 58aa543..a826b4a 100755 --- a/devtools.php +++ b/devtools.php @@ -324,6 +324,24 @@ function getIcon(string $file) + + + + English SDK Documentation + + + + + + + Japanese SDK Documentation + + + + + + + SDK Documentation + + +