[PHP-WEBMASTER] 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

[Adam Harvey]

Commit:    73d9faf6ae981a769d79173c8ce56ff39691b0fb
Author:    Adam Harvey <ahar...@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&amp;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&amp;perm=<?php echo 
$config['lang']; ?>/<?php echo $config['thispage']; ?>">Edit</a>
+          <a 
href="https://bugs.php.net/report.php?bug_type=Documentation+problem&amp;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


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php