From 33c0d601ca7b9ea88937e1f44089800b9ad96ed2 Mon Sep 17 00:00:00 2001
From: Dereckson
Date: Wed, 26 Sep 2012 22:55:54 +0200
Subject: [PATCH] (bug 40531) profileinfo.php: Clean up
* Cleaning whitespaces and quotation
* Improving markup and make valid HTML5
-
-
* Tune up styles a bit, get rid of 90s narrow pale yellow/cyan
tables.
Change-Id: Iff36c57ea1baa6462d2b35b7a420cd3919c7e454
---
profileinfo.php | 231 ++++++++++++++++++++++++++++++++----------------
1 file changed, 153 insertions(+), 78 deletions(-)
diff --git a/profileinfo.php b/profileinfo.php
index bbd5fc8aa8..068c58b83b 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -38,58 +38,128 @@ if ( isset( $_SERVER['MW_COMPILED'] ) ) {
header( 'Content-Type: text/html; charset=utf-8' );
?>
+
+
Profiling data
-
Disabled
\n";
- echo "";
+ echo 'Disabled
'
+ . '