EditPage.php.patch
Public
Actions

Authored By

	• bzimport
	Nov 21 2014, 9:23 PM

Size

824 B

Referenced Files

None

Subscribers

None

EditPage.php.patch
View Options

	Index: EditPage.php
	===================================================================
	--- EditPage.php (Revision 20533)
	+++ EditPage.php (Arbeitskopie)
	@@ -1614,6 +1614,16 @@
	* can figure out a way to make them work in IE. However, we should make
	* sure these keys are not defined on the edit page.
	*/
	+ if ( $wgUseSiteToolbar = true ) {
	+ // would be nicer if we could have MediaWiki:SiteToolbar like MediaWiki:common.css
	+ #print "<br>$IP/sitetoolbar.php";
	+ if(file_exists("$IP/sitetoolbar.php")) {
	+ include_once("$IP/sitetoolbar.php");
	+ $toolarray=$sitetoolarray;
	+ #print_r ($toolarray);
	+ }
	+ }
	+ if ( count ($toolarray) == 0 ) // if there is a problem with the sitetoolarray
	$toolarray = array(
	array( 'image' => 'button_bold.png',
	'id' => 'mw-editbutton-bold',