die( 1 );
}
-if ( function_exists( 'mb_internal_encoding' ) ) {
- mb_internal_encoding( 'UTF-8' );
-} elseif ( !defined( 'MEDIAWIKI_INSTALL' ) ) {
- echo "Error: the mbstring PHP extension is required\n";
- die( 1 );
-}
+mb_internal_encoding( 'UTF-8' );
// Set various default paths sensibly...
$ps_default = Profiler::instance()->scopedProfileIn( $fname . '-defaults' );