[MediaWiki-commits] [Gerrit] Add license-name to extension.json - change (mediawiki...Math)

2016-01-16 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Add license-name to extension.json .. Add license-name to extension.json Change-Id: Iadec5b3253b13b9163140ac8ef1e27f10718dbd2 --- M extension.json 1 file

[MediaWiki-commits] [Gerrit] Add license-name to extension.json - change (mediawiki...Math)

2016-01-16 Thread Aude (Code Review)
Aude has uploaded a new change for review. https://gerrit.wikimedia.org/r/264553 Change subject: Add license-name to extension.json .. Add license-name to extension.json Change-Id: Iadec5b3253b13b9163140ac8ef1e27f10718dbd2