There's no ambiguity when it comes to the PHP code of WordPress plugins and themes being derivative works of WordPress, which means they must be licensed under GPL. It all seems rather compelling, but most importantly, none of this has been proven in a court of law.