summaryrefslogtreecommitdiff
path: root/profileinfo.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2013-01-18 16:46:04 +0100
committerPierre Schmitz <pierre@archlinux.de>2013-01-18 16:46:04 +0100
commit63601400e476c6cf43d985f3e7b9864681695ed4 (patch)
treef7846203a952e38aaf66989d0a4702779f549962 /profileinfo.php
parent8ff01378c9e0207f9169b81966a51def645b6a51 (diff)
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
Diffstat (limited to 'profileinfo.php')
-rw-r--r--profileinfo.php16
1 files changed, 10 insertions, 6 deletions
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>