Fork 1

Change package names of webkitgtk modules #259

Merged

jwharm merged 1 commit from webkit-package-name into main

2025-08-09 22:15:10 +02:00

jwharm commented

2025-08-09 22:14:17 +02:00

(Migrated from github.com)

Changed the package names:

old	new
org.gnome.webkit	org.webkitgtk
org.gnome.webkit.jsc	org.webkitgtk.jsc
org.gnome.webkit.wpe	org.webkitgtk.webprocessextension

The change from org.gnome.webkit to org.webkitgtk is more in line with how WebkitGTK is found online, i.e. on webkitgtk.org.

The change from wpe to webprocessextension is to avoid confusion with the WPE embedded WebKit port.

Changed the package names: old | new --- | --- org.gnome.webkit | org.webkitgtk org.gnome.webkit.jsc | org.webkitgtk.jsc org.gnome.webkit.wpe | org.webkitgtk.webprocessextension The change from `org.gnome.webkit` to `org.webkitgtk` is more in line with how WebkitGTK is found online, i.e. on [webkitgtk.org](webkitgtk.org). The change from `wpe` to `webprocessextension` is to avoid confusion with the WPE embedded WebKit port.

jwharm commented

2025-09-06 11:10:22 +02:00

(Migrated from github.com)

With #270, the module name of these packages was changed to org.webkitgtk.

With #270, the module name of these packages was changed to `org.webkitgtk`.