Index: trunk/extensions/PatchOutputMobile/views/layout/_search_webkit.html.php |
— | — | @@ -15,8 +15,8 @@ |
16 | 16 | </form> |
17 | 17 | </div> |
18 | 18 | <div class='nav' id='nav'> |
19 | | - <form method="get" action="/"><button type="submit" id="homeButton">Home</button></form> |
20 | | - <form method="get" action="/wiki/::Random"><button type="submit" id="randomButton">Random</button></form> |
| 19 | + <form method="get" action="/"><button type="submit" id="homeButton">{$home_button}</button></form> |
| 20 | + <form method="get" action="/wiki/::Random"><button type="submit" id="randomButton">{$random_button}</button></form> |
21 | 21 | </div> |
22 | 22 | </div> |
23 | 23 | EOD; |
Index: trunk/extensions/PatchOutputMobile/views/layout/_footmenu_default.html.php |
— | — | @@ -4,13 +4,13 @@ |
5 | 5 | <div id='footer'> |
6 | 6 | <div class='nav' id='footmenu'> |
7 | 7 | <div class='mwm-notice'> |
8 | | - <a href="http://en.wikipedia.org/w/mobileRedirect.php?to=">View this page on regular Wikipedia</a> |
| 8 | + <a href="http://en.wikipedia.org/w/mobileRedirect.php?to=">{$regular_wikipedia}</a> |
9 | 9 | <div id="perm"> |
10 | | - <a href="https://www.mediawiki.org/disable/?">Permanently disable mobile site</a> |
| 10 | + <a href="https://www.mediawiki.org/disable/?">{$perm_stop_redirect}</a> |
11 | 11 | </div> |
12 | 12 | </div> |
13 | 13 | </div> |
14 | | - <div id='copyright'>Text is available under the <a href='http://en.wikipedia.org/wiki/Wikipedia:Text_of_Creative_Commons_Attribution-ShareAlike_3.0_Unported_License'>Creative Commons Attribution/Share-Alike License</a>; additional terms may apply. See <a href='http://wikimediafoundation.org/wiki/Terms_of_Use'>Terms of Use</a> for details. Wikipedia is a registered trademark of the <a href='http://www.wikimediafoundation.org/'>Wikimedia Foundation, Inc.</a>, a non-profit organization.</div> |
| 14 | + <div id='copyright'>{$copyright}</div> |
15 | 15 | </div> |
16 | 16 | |
17 | 17 | EOD; |
Index: trunk/extensions/PatchOutputMobile/PatchOutputMobile.php |
— | — | @@ -27,7 +27,7 @@ |
28 | 28 | 'onOutputPageBeforeHTML' ); |
29 | 29 | |
30 | 30 | class ExtPatchOutputMobile { |
31 | | - const VERSION = '0.3.0'; |
| 31 | + const VERSION = '0.3.1'; |
32 | 32 | |
33 | 33 | private $doc; |
34 | 34 | |
— | — | @@ -77,6 +77,11 @@ |
78 | 78 | ExtPatchOutputMobile::$messages['patch-output-mobile-show'] = wfMsg( 'show_button' ); |
79 | 79 | ExtPatchOutputMobile::$messages['patch-output-mobile-hide'] = wfMsg( 'hide_button' ); |
80 | 80 | ExtPatchOutputMobile::$messages['patch-output-mobile-back-to-top'] = wfMsg( 'back_to_top_of_section' ); |
| 81 | + ExtPatchOutputMobile::$messages['regular_wikipedia'] = wfMsg( 'regular_wikipedia' ); |
| 82 | + ExtPatchOutputMobile::$messages['perm_stop_redirect'] = wfMsg( 'perm_stop_redirect' ); |
| 83 | + ExtPatchOutputMobile::$messages['copyright'] = wfMsg( 'copyright' ); |
| 84 | + ExtPatchOutputMobile::$messages['home_button'] = wfMsg( 'home_button' ); |
| 85 | + ExtPatchOutputMobile::$messages['random_button'] = wfMsg( 'random_button' ); |
81 | 86 | ExtPatchOutputMobile::$dir = $GLOBALS['wgContLang']->isRTL() ? "rtl" : "ltr"; |
82 | 87 | ExtPatchOutputMobile::$code = $GLOBALS['wgContLang']->getCode(); |
83 | 88 | |
— | — | @@ -298,6 +303,11 @@ |
299 | 304 | |
300 | 305 | $dir = ExtPatchOutputMobile::$dir; |
301 | 306 | $code = ExtPatchOutputMobile::$code; |
| 307 | + $regular_wikipedia = ExtPatchOutputMobile::$messages['regular_wikipedia']; |
| 308 | + $perm_stop_redirect = ExtPatchOutputMobile::$messages['perm_stop_redirect']; |
| 309 | + $copyright = ExtPatchOutputMobile::$messages['copyright']; |
| 310 | + $home_button = ExtPatchOutputMobile::$messages['home_button']; |
| 311 | + $random_button = ExtPatchOutputMobile::$messages['random_button']; |
302 | 312 | |
303 | 313 | if ( strlen( $contentHtml ) > 4000 && $this->contentFormat == 'XHTML' |
304 | 314 | && ExtPatchOutputMobile::$device['supports_javascript'] === true ) { |