<?php /* For licensing terms, see /license.txt */ /** * Class SequenceManager */ class SequenceManager { }