sergeweyland aea6779195 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.
2014-01-17 19:05:10 +01:00
..
2012-10-23 16:21:10 +02:00
2013-05-06 16:38:38 +01:00
2014-01-17 19:05:10 +01:00