gilbitron/Pico — pull request #137 by sergeweyland (2014-01-17 18:05:36+00:00)
Title: Update pico.php

Fixes an issue wherein the alphabetical sorting of pages did not happen, because array key was not, in fact, the page's filename.