com web/php: Reinstate (very small) edit and report bug links on manual pages.: include/header.inc include/shared-manual.inc styles/theme-base.css
| From: | Adam Harvey | Date: | Wed, 20 Nov 2013 22:08:32 +0000 |
| Subject: | com web/php: Reinstate (very small) edit and report bug links on manual pages.: include/header.inc include/shared-manual.inc styles/theme-base.css | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-17087@lists.php.net to get a copy of this message | ||
Commit: 73d9faf6ae981a769d79173c8ce56ff39691b0fb
Author: Adam Harvey <aharvey@php.net> Wed, 20 Nov 2013 14:06:51 -0800
Parents: 703abfd16b79743ee33baa155757d0ee49caf8c0
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=73d9faf6ae981a769d79173c8ce56ff39691b0fb
Log:
Reinstate (very small) edit and report bug links on manual pages.
Changed paths:
M include/header.inc
M include/shared-manual.inc
M styles/theme-base.css
Diff:
diff --git a/include/header.inc b/include/header.inc
index c20a9f4..d60a2f6 100755
--- a/include/header.inc
+++ b/include/header.inc
@@ -39,7 +39,7 @@ if (isset($shortname) && $shortname) {
<?php endforeach ?>
<link href='http://fonts.googleapis.com/css?family=Source+Sans+Pro:400,600,400italic,600italic|Source+Code+Pro&subset=latin,latin-ext'
rel='stylesheet' type='text/css'>
- <link rel="stylesheet" type="text/css" href="<?php echo
$STATIC_ROOT ?>styles/theme-base.css?t=20131120" media="screen" />
+ <link rel="stylesheet" type="text/css" href="<?php echo
$STATIC_ROOT ?>styles/theme-base.css?t=20131120a" media="screen" />
<link rel="stylesheet" type="text/css" href="<?php echo
$STATIC_ROOT ?>styles/theme-medium.css?t=20131120" media="screen" />
<?php
diff --git a/include/shared-manual.inc b/include/shared-manual.inc
index d239479..e7e22e2 100644
--- a/include/shared-manual.inc
+++ b/include/shared-manual.inc
@@ -624,9 +624,20 @@ 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>';
-
+ $id = substr($setup['this'][0], 0, -4);
+ ?>
+ <div class="page-tools">
+ <div class="change-language">
+ <?php echo manual_language_chooser($config['lang'],
$config['thispage']); ?>
+ </div>
+ <div class="edit-bug">
+ <a href="https://edit.php.net/?project=PHP&perm=<?php
echo $config['lang']; ?>/<?php echo $config['thispage'];
?>">Edit</a>
+ <a href="https://bugs.php.net/report.php?bug_type=Documentation+problem&manpage=<?php
echo $id; ?>">Report a Bug</a>
+ </div>
+ </div>
+ <?php
}
+
function manual_language_chooser($currentlang, $currentpage) {
global $ACTIVE_ONLINE_LANGUAGES;
diff --git a/styles/theme-base.css b/styles/theme-base.css
index 0a8e3cb..ca49e7e 100755
--- a/styles/theme-base.css
+++ b/styles/theme-base.css
@@ -2124,17 +2124,30 @@ hr {
border-bottom:.25em solid;
}
-.change-language {
+.page-tools {
float: right;
position:relative;
+ text-align: right;
z-index:100;
}
+.change-language {
+ margin-bottom: 0.75em;
+}
.change-language p {
margin:0;
}
.change-language .select {
border-radius: 0;
}
+.edit-bug {
+ line-height: 2;
+ font-size: 0.75em;
+}
+.edit-bug a:link,
+.edit-bug a:visited {
+ border: 0;
+ padding-left: 1em;
+}
/**
* User notes