# HG changeset patch # User nanaya # Date 1491312126 -32400 # Node ID aa12b7cbe1e8c4a4807d7ad83db7ed5474576092 # Parent d0b3c58c27819218fbdb5961d87853fe415f9f99 Use short echo syntax diff -r d0b3c58c2781 -r aa12b7cbe1e8 index.php --- a/index.php Tue Apr 04 22:17:23 2017 +0900 +++ b/index.php Tue Apr 04 22:22:06 2017 +0900 @@ -1,6 +1,6 @@ - Index of <?php echo h($uri); ?> + Index of <?= h($uri); ?> @@ -238,7 +238,7 @@ -

Index of

@@ -249,19 +249,19 @@ Size Date - + - - + + @@ -289,7 +289,7 @@ new List("files", { valueNames: ["filename", "size", "date"], - page: + page: })