PHP desubmodule