| Index: branches/wmf/1.18wmf1/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 | |
| Index: branches/wmf/1.18wmf1/extensions/MobileFrontend/views/layout/_search_webkit.html.php |
| — | — | @@ -24,8 +24,8 @@ |
| 25 | 25 | </form> |
| 26 | 26 | </div> |
| 27 | 27 | <div class='nav' id='nav'> |
| 28 | | - <button onClick="javascript:location.href='{$mainPageUrl}';" type="submit" id="homeButton">{$homeButton}</button> |
| 29 | | - <button onClick="javascript:location.href='{$randomPageUrl}';" type="submit" id="randomButton">{$randomButton}</button> |
| | 28 | + <button onclick="javascript:location.href='{$mainPageUrl}';" type="submit" id="homeButton">{$homeButton}</button> |
| | 29 | + <button onclick="javascript:location.href='{$randomPageUrl}';" type="submit" id="randomButton">{$randomButton}</button> |
| 30 | 30 | </div> |
| 31 | 31 | </div> |
| 32 | 32 | EOD; |