mediawiki-extensions-Syntax.../maintenance
Ori Livneh f89bc8d62c Drop dependency on kzykhys/pygments
kzykhys/pygments provides very little added value when compared to just using
symfony/process directly. Since kzykhys/pygments appears to be unmaintained and
is currently broken, depend on symfony/process directly instead.

Change-Id: I34c7e4201c2c21d3f8607ec826a4c9869e2da917
Task: T120068
2015-12-04 15:02:13 -08:00
..
updateCSS.php Drop dependency on kzykhys/pygments 2015-12-04 15:02:13 -08:00
updateLexerList.php Drop dependency on kzykhys/pygments 2015-12-04 15:02:13 -08:00