Convert IJulia provider to extension

Author: halleysfifthinc

Project.toml

@@ -19,9 +19,16 @@ UUIDs = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
 WebSockets = "104b5d7c-a370-577a-8038-80a2059c5097"
 Widgets = "cc8bc4a8-27d6-5769-a93b-9d913e69aa62"
 
+[weakdeps]
+IJulia = "7073ff75-c697-5162-941a-fcdaad2a7d2a"
+
+[extensions]
+IJuliaExt = "IJulia"
+
 [compat]
 AssetRegistry = "0.1.0"
 FunctionalCollections = "0.5.0"
+IJulia = "1.13"
 JSON = "0.18, 0.19, 0.20, 0.21"
 Observables = "0.5"
 Requires = "0.4.4, 0.5, 1.0.0"

ext/ijulia.jl renamed to ext/IJuliaExt.jl

@@ -1,6 +1,8 @@
-using .AssetRegistry
-using .Sockets
-using .WebIO
+module IJuliaExt
+
+using WebIO
+using WebIO: WEBIO_NODE_MIME
+using IJulia, Sockets
 
 struct IJuliaConnection <: AbstractConnection
     comm::IJulia.CommManager.Comm
@@ -68,16 +70,18 @@ function main()
         return
     end
 
-    # https://github.com/JuliaLang/IJulia.jl/pull/755
-    if isdefined(IJulia, :register_jsonmime)
-        IJulia.register_jsonmime(WEBIO_NODE_MIME())
-    else
-        @warn "IJulia doesn't have register_mime; WebIO may not work as expected. Please upgrade to IJulia v1.13.0 or greater."
-    end
+    IJulia.register_jsonmime(WEBIO_NODE_MIME())
 
     # See comment on _IJuliaInit for what this does
     display(_IJuliaInit())
+
+    return nothing
 end
 
 WebIO.setup_provider(::Val{:ijulia}) = main() # calling setup_provider(Val(:ijulia)) will display the setup javascript
-WebIO.setup(:ijulia)
+
+function __init__()
+    WebIO.setup(:ijulia)
+end
+
+end

src/WebIO.jl

@@ -95,17 +95,13 @@ function prefetch_provider_file(basename)
 end
 
 provider_mux = prefetch_provider_file("mux.jl")
-provider_ijulia = prefetch_provider_file("ijulia.jl")
 provider_generic_http = prefetch_provider_file("generic_http.jl")
 
 function __init__()
     push!(Observables.addhandler_callbacks, WebIO.setup_comm)
     @require Mux="a975b10e-0019-58db-a62f-e48ff68538c9" begin
         include_string(@__MODULE__, provider_mux.code, provider_mux.file)
     end
-    @require IJulia="7073ff75-c697-5162-941a-fcdaad2a7d2a" begin
-        include_string(@__MODULE__, provider_ijulia.code, provider_ijulia.file)
-    end
     @require WebSockets="104b5d7c-a370-577a-8038-80a2059c5097" begin
         include_string(@__MODULE__, provider_generic_http.code, provider_generic_http.file)
     end