mediawiki-extensions-Syntax.../maintenance
Ori Livneh c47fb10767 Remove duplicate values from the lexer list
Update the updateLexerList.php maintenance script so that its output contains
no duplicate values, and remove existing duplicates from the lexer list.

Change-Id: I1ee094bb73f1a3916530e533ba3d151e50b34ce3
2016-02-03 17:30:01 -08:00
..
updateCSS.php Drop dependency on kzykhys/pygments 2015-12-04 15:02:13 -08:00
updateLexerList.php Remove duplicate values from the lexer list 2016-02-03 17:30:01 -08:00