From 63601400e476c6cf43d985f3e7b9864681695ed4 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 18 Jan 2013 16:46:04 +0100
Subject: Update to MediaWiki 1.20.2

this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024
---
 profileinfo.php | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

(limited to 'profileinfo.php')

diff --git a/profileinfo.php b/profileinfo.php
index 1549349b..bbd5fc8a 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -29,9 +29,9 @@ ini_set( 'zlib.output_compression', 'off' );
 
 $wgEnableProfileInfo = $wgProfileToDatabase = false;
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-	require ( 'phase3/includes/WebStart.php' );
+	require ( 'core/includes/WebStart.php' );
 } else {
-	require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
+	require ( __DIR__ . '/includes/WebStart.php' );
 }
 
 
@@ -56,16 +56,20 @@ header( 'Content-Type: text/html; charset=utf-8' );
 		text-align: right;
 	}
 	td.timep, td.tpc, td.tpr {
-		background-color: #fffff0;
+		background-color: #ffff80;
 	}
 	td.memoryp, td.mpc, td.mpr {
-		background-color: #f0f8ff;
+		background-color: #80f8ff;
 	}
 	td.count, td,cpr {
-		background-color: #f0fff0;
+		background-color: #80ff80;
 	}
 	td.name {
-		background-color: #f9f9f9;
+		background-color: #89f9f9;
+	}
+
+	tr:hover {
+		font-weight: bold;
 	}
 </style>
 </head>
-- 
cgit v1.2.2