]> git.joonet.de Git - adminer.git/commitdiff
Save bytes
authorJakub Vrana <jakub@vrana.cz>
Tue, 6 Mar 2012 08:47:33 +0000 (00:47 -0800)
committerJakub Vrana <jakub@vrana.cz>
Tue, 6 Mar 2012 08:47:33 +0000 (00:47 -0800)
adminer/schema.inc.php
adminer/static/editing.js

index f71441c3ff3b7243acc61736f6d296a2f84afa18..a60d4529a0bd73dbace06fd6cafac46fc0e7abaa 100644 (file)
@@ -51,8 +51,8 @@ foreach (table_status() as $table_status) {
 ?>
 <div id="schema" style="height: <?php echo $top; ?>em;" onselectstart="return false;">
 <script type="text/javascript">
-tablePos = {<?php echo implode(",", $table_pos_js) . "\n"; ?>};
-em = document.getElementById('schema').offsetHeight / <?php echo $top; ?>;
+var tablePos = {<?php echo implode(",", $table_pos_js) . "\n"; ?>};
+var em = document.getElementById('schema').offsetHeight / <?php echo $top; ?>;
 document.onmousemove = schemaMousemove;
 document.onmouseup = function (ev) {
        schemaMouseup(ev, '<?php echo js_escape(DB); ?>');
index a1bdf4d311c1fdb8b2db55a07fd2ecdf6a0ee859..ec79efec23122727795bc352c60a08e26d0bfeba 100644 (file)
@@ -393,7 +393,7 @@ function indexesAddColumn(field, prefix) {
 
 
 
-var that, x, y, em, tablePos;
+var that, x, y; // em and tablePos defined in schema.inc.php
 
 /** Get mouse position
 * @param HTMLElement