Announcement: Theme Supermint and php7

Hi there,
Just wanted to let everybody know that I have forked theme supermint on Github and have begun adding some changes to make it compatible with php7.
I want to use the theme on a website that I am currently building. So it would be nice to have some more users that can help me identify the stumbling blocks.
At the moment the addon installs fine on php7.2 and all the widgets that I have tested seem to be working fine.
Of course I do not know about the lincese status of the theme. Still I think it would be shame to let this fine piece of software go down just because of a few errors that inevitably come with the transition to the current php version.
If you want to give it a try please make sure to install the zip from and not the one from the market place.
Please file any issues on github:
Looking forward to your bug reports!
Andreas Sumerauer

View Replies:
JohntheFish replied on at Permalink Reply
Supermint, while now free, still uses the standard marketplace license. That means it still belongs to the developer and that copying /distributing by means other than download from the marketplace is a breach of the license. See (1) in

You can modify for your own use, but not distribute the modified theme for others to use.

Within the license, others can download from the marketplace and you can show them what modifications are needed.

To do anything more, you need the permission of the developer.
mnakalay replied on at Permalink Reply
John, while I agree with you on the principle, can't we consider that the dev gave implicit agreement to modify the theme and make it available to others the minute he put it in a public repository on GitHub?
Here's the original repo:
JohntheFish replied on at Permalink Reply
Yes, and that repo contains the original license. Whilst there is nothing to physically stop anyone copying or forking it and distributing, the license doesn't say that.
Most who post packages on GitHub do so with a MIT or GPL license. Not a c5 marketplace license.
I suspect you are correct and not changing the license was an oversight. But unless someone asks the original dev, no-one can prove you are correct.
wmvadmin replied on at Permalink Reply
Thanks John for the clarification. Please excuse the late reply. I have been away for the holidays and did not have access to the forum for a while.

Of course I have tried to contact Sebastien through several channels and I am still hoping to get in touch. His former domain is offline and belongs to a domain grabbing company now. His last activity on github is from Jul, 9, 2018.
I only hope he is fine whatever he does now. If anybody still is in contact with him I'd be happy to know. Thanks!

JohntheFish replied on at Permalink Reply
You may have already found this, I think it's the right Sebastien - a current personal website