A PHP file manager.