]> git.joonet.de Git - adminer.git/commitdiff
Add anchors to database and table sections to allow linking
authorJakub Vrana <jakub@vrana.cz>
Sun, 28 Apr 2013 06:17:07 +0000 (23:17 -0700)
committerJakub Vrana <jakub@vrana.cz>
Sun, 28 Apr 2013 06:17:07 +0000 (23:17 -0700)
adminer/db.inc.php
adminer/table.inc.php

index 4db102967de9c5fe30e809469aee5739734bc988..c1c9d3d9c562c9a38adbe6507810cee01f791740 100644 (file)
@@ -46,7 +46,7 @@ page_header(($_GET["ns"] == "" ? lang('Database') . ": " . h(DB) : lang('Schema'
 
 if ($adminer->homepage()) {
        if ($_GET["ns"] !== "") {
-               echo "<h3>" . lang('Tables and views') . "</h3>\n";
+               echo "<h3 id='tables-views'>" . lang('Tables and views') . "</h3>\n";
                $tables_list = tables_list();
                if (!$tables_list) {
                        echo "<p class='message'>" . lang('No tables.') . "\n";
@@ -123,7 +123,7 @@ if ($adminer->homepage()) {
                }
        
                if (support("routine")) {
-                       echo "<h3>" . lang('Routines') . "</h3>\n";
+                       echo "<h3 id='routines'>" . lang('Routines') . "</h3>\n";
                        $routines = routines();
                        if ($routines) {
                                echo "<table cellspacing='0'>\n";
@@ -142,7 +142,7 @@ if ($adminer->homepage()) {
                }
                
                if (support("sequence")) {
-                       echo "<h3>" . lang('Sequences') . "</h3>\n";
+                       echo "<h3 id='sequences'>" . lang('Sequences') . "</h3>\n";
                        $sequences = get_vals("SELECT sequence_name FROM information_schema.sequences WHERE sequence_schema = current_schema()");
                        if ($sequences) {
                                echo "<table cellspacing='0'>\n";
@@ -157,7 +157,7 @@ if ($adminer->homepage()) {
                }
                
                if (support("type")) {
-                       echo "<h3>" . lang('User types') . "</h3>\n";
+                       echo "<h3 id='user-types'>" . lang('User types') . "</h3>\n";
                        $user_types = types();
                        if ($user_types) {
                                echo "<table cellspacing='0'>\n";
@@ -172,7 +172,7 @@ if ($adminer->homepage()) {
                }
                
                if (support("event")) {
-                       echo "<h3>" . lang('Events') . "</h3>\n";
+                       echo "<h3 id='events'>" . lang('Events') . "</h3>\n";
                        $rows = get_rows("SHOW EVENTS");
                        if ($rows) {
                                echo "<table cellspacing='0'>\n";
index b897755ac49603a9a8855d8337f567d62ce6cf22..0c25a936681e8ff4882d5f6c1c05e9b6e59cfacc 100644 (file)
@@ -26,7 +26,7 @@ if ($fields) {
        echo "</table>\n";
        
        if (!is_view($table_status)) {
-               echo "<h3>" . lang('Indexes') . "</h3>\n";
+               echo "<h3 id='indexes'>" . lang('Indexes') . "</h3>\n";
                $indexes = indexes($TABLE);
                if ($indexes) {
                        echo "<table cellspacing='0'>\n";
@@ -43,7 +43,7 @@ if ($fields) {
                echo '<p><a href="' . h(ME) . 'indexes=' . urlencode($TABLE) . '">' . lang('Alter indexes') . "</a>\n";
                
                if (fk_support($table_status)) {
-                       echo "<h3>" . lang('Foreign keys') . "</h3>\n";
+                       echo "<h3 id='foreign-keys'>" . lang('Foreign keys') . "</h3>\n";
                        $foreign_keys = foreign_keys($TABLE);
                        if ($foreign_keys) {
                                echo "<table cellspacing='0'>\n";
@@ -68,7 +68,7 @@ if ($fields) {
                }
                
                if (support("trigger")) {
-                       echo "<h3>" . lang('Triggers') . "</h3>\n";
+                       echo "<h3 id='triggers'>" . lang('Triggers') . "</h3>\n";
                        $triggers = triggers($TABLE);
                        if ($triggers) {
                                echo "<table cellspacing='0'>\n";