There's no legal precedent yet, but WordPress plugins/themes are widely considered as being GPL because they're a "derivative" work.
Or, at least the PHP code in those plugins/themes are - possibly not the CSS + assets.
https://kinsta.com/learn/wordpress-gpl/