com web/php: Language chooser changes: include/header.inc include/shared-manual.inc styles/doc.css

Commit: 3bb29af24a1198f4320937343c3b16f4943a895e Author: Paul Dragoonis <dragoonis@gmail.com> Tue, 25 Jun 2013 22:31:49 +0100 Parents: 375ac92d17df098799ff68ed2906201c6ad18188 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=3bb29af24a1198f4320937343c3b16f4943a895e Log: Language chooser changes Changed paths: M include/header.inc M include/shared-manual.inc M styles/doc.css Diff: diff --git a/include/header.inc b/include/header.inc index ea0f507..08fde86 100644 --- a/include/header.inc +++ b/include/header.inc @@ -298,12 +298,6 @@ if (isset($shortname) && $shortname) { </aside> <?php endif; ?> -<?php if(!empty($config["thispage"])): ?> -<div class="change-language"> - <?php echo manual_language_chooser($config["lang"], $config["thispage"]); ?> -</div> -<?php endif; ?> - <?php include 'uservoice.inc' ?> diff --git a/include/shared-manual.inc b/include/shared-manual.inc index a0c33fa..6f56225 100644 --- a/include/shared-manual.inc +++ b/include/shared-manual.inc @@ -621,7 +621,7 @@ function manual_setup_beta($setup) { ); site_header($setup["this"][1] . " - Manual ", $config); - + echo '<div class="change-language">' . manual_language_chooser($config["lang"], $config["thispage"]) . '</div>'; } diff --git a/styles/doc.css b/styles/doc.css index 0c9137e..2c60dcf 100755 --- a/styles/doc.css +++ b/styles/doc.css @@ -186,6 +186,10 @@ aside#quicktoc { } /* }}} */ +.docs .refentry { + padding-top: 25px; +} + .docs .refentry .constructorsynopsis, .docs .refentry .methodsynopsis { color: #666;