*(bug 30976) Add maintenance script to remove preferences from $wgHiddenPrefs
[lhc/web/wiklou.git] / maintenance / term /
2011-11-29 Antoine MussoMove terminal colorers classes in their own file