diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2013-01-18 16:46:04 +0100 |
| commit | 63601400e476c6cf43d985f3e7b9864681695ed4 (patch) | |
| tree | f7846203a952e38aaf66989d0a4702779f549962 /profileinfo.php | |
| parent | 8ff01378c9e0207f9169b81966a51def645b6a51 (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.php | 16 |
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> |