From d0ff81cc98424dc787ca456f8a08401028985bcc Mon Sep 17 00:00:00 2001 From: Michael Irwin Date: Fri, 18 Oct 2019 17:01:38 -0400 Subject: [PATCH] Add SRI to editor scripts and removed unused scripts (#361) --- www/503.html | 17 +++-------------- www/editor.html | 8 ++++---- www/ooc.html | 15 ++------------- 3 files changed, 9 insertions(+), 31 deletions(-) diff --git a/www/503.html b/www/503.html index 44ea8d1..a50b982 100644 --- a/www/503.html +++ b/www/503.html @@ -1,5 +1,5 @@ - + Docker Playground @@ -16,18 +16,7 @@
- An error has occured. If you have some time, please report it. Thanks! + An error has occurred. If you have some time, please report it. Thanks!
- - - - - - - - - + \ No newline at end of file diff --git a/www/editor.html b/www/editor.html index ab71ab2..fb6abe8 100644 --- a/www/editor.html +++ b/www/editor.html @@ -2,9 +2,9 @@ Editor - + - + @@ -38,11 +38,11 @@ - + - + - - - - - - - - + \ No newline at end of file