Index: trunk/extensions/MobileFrontend/MobileFrontend.php |
— | — | @@ -248,7 +248,7 @@ |
249 | 249 | throw new HttpError( 500, $message ); |
250 | 250 | } else { |
251 | 251 | $parsedUrl = wfParseUrl( $targetUrl ); |
252 | | - if ( stristr( $parsedUrl['host'], $wgMobileDomain ) === FALSE ) { |
| 252 | + if ( stristr( $parsedUrl['host'], $wgMobileDomain ) === false ) { |
253 | 253 | $hostParts = explode( '.', $parsedUrl['host'] ); |
254 | 254 | $parsedUrl['host'] = $hostParts[0] . $wgMobileDomain . $hostParts[1] . '.' . $hostParts[2]; |
255 | 255 | } |
— | — | @@ -314,6 +314,10 @@ |
315 | 315 | |
316 | 316 | $skin = $wgUser->getSkin(); |
317 | 317 | $copyright = $skin->getCopyright(); |
| 318 | + if ( stristr( $copyright, '<li>' ) !== false ) { |
| 319 | + $copyright = '<ul><li>' . $copyright . '</li></ul>'; |
| 320 | + } |
| 321 | + |
318 | 322 | // Need to stash the results of the "wfMsg" call before the Output Buffering handler |
319 | 323 | // because at this point the database connection is shut down, etc. |
320 | 324 | |