search

SemanticMediaWiki / semantic-mediawiki.org

This is a meta repository allowing to keep track of issues and wishes concerning semantic-mediawiki.org and related websites.
3 stars 3 forks source link

Re-install Gadgets #71

Closed kghbln closed 4 years ago

kghbln commented 4 years ago

Due to https://phabricator.wikimedia.org/T235562 I had to pull this extension from sandbox. Once this is fixed it should be installed again.

kghbln commented 4 years ago

Let's call this issue fixed. I just re-invoked Gadgets.