Added an index page for the tools directory so we can use the tools directly off the jquerymobile.com site without having to remember the name of the file for a given tool.

jblas · jblas · commit 24b01c726829 · 2012-01-13T10:38:23.000-08:00
Note that all links in the index are rel="external" because some of the tool pages need to run JS to set paths, properly.
diff --git a/tools/index.html b/tools/index.html
@@ -0,0 +1,33 @@
+<!DOCTYPE HTML>
+<html>
+<head>
+<meta charset="UTF-8">
+<title>jQuery Mobile Tools</title>
+<link rel="stylesheet" href="../css/themes/default/jquery.mobile.css">
+<script src="../js/jquery.js"></script>
+<script src="../js/"></script>
+</head>
+
+<body>
+<div data-role="page">
+	<div data-role="header"><h1>Tools</h1></div>
+    <div data-role="content">
+    	<p>Tools written by the team to aid in debugging jQuery Mobile apps.</p>
+        <ul data-role="listview" data-inset="true">
+        	<li><a href="config-props.html" rel="external">
+            	<h3>Configuration Properties</h3>
+                <p>A simple page for dumping the framework configuration property values and the calculated $.support values for a given browser/device.</p>
+            </a></li>
+        	<li><a href="log-page-events.html" rel="external">
+            	<h3>Page Event Logger Bookmarklet</h3>
+                <p>A simple bookmarklet that dumps page event information to the browser console. Good for debugging page loading and lifecycle problems.</p>
+            </a></li>
+        	<li><a href="page-change-time.html" rel="external">
+            	<h3>Page Change Timing Bookmarklet</h3>
+                <p>A simple bookmarklet that dumps timing information at specific points within the loading, processing, and activation of a page.</p>
+            </a></li>
+        </ul>
+    </div>
+</div>
+</body>
+</html>
diff --git a/tools/page-change-time.html b/tools/page-change-time.html
@@ -3,11 +3,11 @@
 <head>
 <meta charset="utf-8">
 <meta name="viewport" content="width=device-width, initial-scale=1">
-<title>Page Change Timer Bookmarklet</title>
+<title>Page Change Timing Bookmarklet</title>
 </head>
 
 <body>
-<h1>Page Event Logger Bookmarklet</h1>
+<h1>Page Change Timing Bookmarklet</h1>
 <p>A simple bookmarklet for timing the load, enhanement, and transition of a jQuery Mobile changePage() request. To use, bookmark the following link:</p>
 <script>
 document.write('<p><a id="bookmarklet-link" href="javascript:function loadScript(u){var s=document.createElement(\'script\');s.setAttribute(\'language\',\'javascript\');s.setAttribute(\'src\',u);document.body.appendChild(s);} loadScript(\'' + ( location.href.replace( /\.html/, ".js" ) ) + '\');">Page Change Timing Bookmark</a></p>');
