Rename File: SequenceRegistry.php

File Manager