Manual talk:$wgStyleDirectory

From mediawiki.org
Latest comment: 17 years ago by Tobias Conradi

bug:

I have reported this on mediazilla (bugzilla:5960). --HappyDog 14:10, 15 May 2006 (UTC)Reply

partial fix by robchur [1]

my fix around lines 115-133 :

	global $IP,$wgStyleDirectory;

		# Grab the skin class and initialise it.
		wfSuppressWarnings();
		// Preload base classes to work around APC/PHP5 bug
		include_once( $wgStyleDirectory.'/'.$skinName.'.deps.php' );
		wfRestoreWarnings();
		require_once( $wgStyleDirectory.'/'.$skinName.'.php' );

		# Check if we got if not failback to default skin
		$className = 'Skin'.$skinName;
		if( !class_exists( $className ) ) {
			# DO NOT die if the class isn't found. This breaks maintenance
			# scripts and can cause a user account to be unrecoverable
			# except by SQL manipulation if a previously valid skin name
			# is no longer valid.
			wfDebug( "Skin class does not exist: $className\n" );
			$className = 'SkinStandard';
			require_once( $wgStyleDirectory.'/Standard.php' );

Tobias Conradi 02:52, 17 June 2006 (UTC)Reply