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',