diff options
| author | umherirrender <umherirrender_de.wp@web.de> | 2013-04-13 13:36:24 +0200 |
|---|---|---|
| committer | umherirrender <umherirrender_de.wp@web.de> | 2013-04-13 13:36:24 +0200 |
| commit | 15abcf71ca7ec185b475e47ef0fe43884e764239 (patch) | |
| tree | 7791eaf66b73bffa30de7b66b429fc045cbb0a55 /includes/db/DatabaseError.php | |
| parent | d48005a696838e11ae8e6f2696f72c55c995224f (diff) | |
| download | mediawikicore-15abcf71ca7ec185b475e47ef0fe43884e764239.tar.gz mediawikicore-15abcf71ca7ec185b475e47ef0fe43884e764239.zip | |
Added/Removed spaces around string concatenation
And added/removed spaces around some other tokens,
like +, -, *, /, <, >, =, !
Fixed windows newline style
Change-Id: I0b9c8c408f3f6bfc0d685a074d7ec468fb848fc8
Diffstat (limited to 'includes/db/DatabaseError.php')
| -rw-r--r-- | includes/db/DatabaseError.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/db/DatabaseError.php b/includes/db/DatabaseError.php index 628a2afca5b2..55095c382944 100644 --- a/includes/db/DatabaseError.php +++ b/includes/db/DatabaseError.php @@ -188,7 +188,7 @@ class DBConnectionError extends DBError { # Hack: extend the body for error messages $cache = str_replace( array( '</html>', '</body>' ), '', $cache ); # Add cache notice... - $cache .= '<div style="color:red;font-size:150%;font-weight:bold;">'. + $cache .= '<div style="color:red;font-size:150%;font-weight:bold;">' . htmlspecialchars( $this->msg( 'dberr-cachederror', 'This is a cached copy of the requested page, and may not be up to date. ' ) ) . '</div>'; |