From 4846ad2ed33aefc03ad3a5a2c49651ca57ca261d Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Fri, 20 Mar 2015 10:50:36 +0100
Subject: [PATCH] better package sorting

---
 public/index.php | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/public/index.php b/public/index.php
index 181dfcb..4832a22 100644
--- a/public/index.php
+++ b/public/index.php
@@ -63,7 +63,12 @@
 			</header>
 		</div>
 		<div class="container">
-			<?php $packages = array_map("basename", glob("phars/*")); ?>
+			<?php 
+			
+			$packages = array_map("basename", glob("phars/*", GLOB_NOSORT|GLOB_ONLYDIR)); 
+			sort($packages, SORT_NATURAL|SORT_FLAG_CASE);
+
+			?>
 			
 			<?php if ($_SERVER["QUERY_STRING"] && in_array($_SERVER["QUERY_STRING"], $packages, true)) : ?>
 
-- 
2.30.2