From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 3 May 2012 13:01:35 +0200 Subject: Update to MediaWiki 1.19.0 --- maintenance/term/MWTerm.php | 50 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100644 maintenance/term/MWTerm.php (limited to 'maintenance/term/MWTerm.php') diff --git a/maintenance/term/MWTerm.php b/maintenance/term/MWTerm.php new file mode 100644 index 00000000..36fb8eec --- /dev/null +++ b/maintenance/term/MWTerm.php @@ -0,0 +1,50 @@ +color( 0 ); + } +} + +/* A colour-less terminal */ +class DummyTermColorer { + public function color( $color ) { + return ''; + } + + public function reset() { + return ''; + } +} + -- cgit v1.2.2