[MediaWiki-commits] [Gerrit] Archive repository - change (mediawiki...SyntaxHighlight_Pygments)

2015-10-26 Thread Krinkle (Code Review)
Krinkle has submitted this change and it was merged. Change subject: Archive repository .. Archive repository This repository was created but never used. It is named after Pygments but still contains the old GeSHi implementatio

[MediaWiki-commits] [Gerrit] Archive repository - change (mediawiki...SyntaxHighlight_Pygments)

2015-10-26 Thread Krinkle (Code Review)
Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/249058 Change subject: Archive repository .. Archive repository This repository was created but never used. It is named after Pygments but still con