[MediaWiki-commits] [Gerrit] Add extension.json, add license-name in wgExtensionCredits - change (mediawiki...HSTS)

2015-05-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Add extension.json, add license-name in wgExtensionCredits .. Add extension.json, add license-name in wgExtensionCredits Change-Id: I53643f5078e6f0972a7ff

[MediaWiki-commits] [Gerrit] Add extension.json, add license-name in wgExtensionCredits - change (mediawiki...HSTS)

2015-05-23 Thread Seb35 (Code Review)
Seb35 has uploaded a new change for review. https://gerrit.wikimedia.org/r/212987 Change subject: Add extension.json, add license-name in wgExtensionCredits .. Add extension.json, add license-name in wgExtensionCredits Change

[MediaWiki-commits] [Gerrit] Add extension.json, add license-name in wgExtensionCredits - change (mediawiki...HSTS)

2015-05-04 Thread Seb35 (Code Review)
Seb35 has submitted this change and it was merged. Change subject: Add extension.json, add license-name in wgExtensionCredits .. Add extension.json, add license-name in wgExtensionCredits Change-Id: I53643f5078e6f0972a7ff5d2f3a

[MediaWiki-commits] [Gerrit] Add extension.json, add license-name in wgExtensionCredits - change (mediawiki...HSTS)

2015-05-03 Thread Seb35 (Code Review)
Seb35 has uploaded a new change for review. https://gerrit.wikimedia.org/r/208514 Change subject: Add extension.json, add license-name in wgExtensionCredits .. Add extension.json, add license-name in wgExtensionCredits Change