more polishing
authorMichael Wallner <mike@php.net>
Fri, 20 Mar 2015 08:41:15 +0000 (09:41 +0100)
committerMichael Wallner <mike@php.net>
Fri, 20 Mar 2015 08:41:15 +0000 (09:41 +0100)
commitc55ec759c79a2ab370df0020f3b66dc1bef2a693
treef1901694a86f5fd14fd4a9c0560a3426e1c2e725
parent46ddc7430a3ddae1e0d9095ee1eb2715cff3ea10
more polishing
public/index.php