Saying full source code leaked is a little wrong.

Plugin was always open source, and all plugins for that framework are required to be open source by the framework’s licensing.

Doesn’t change the fact that once one person did it, the code was available for anyone, though, you’re right.