Implement extension registration from an extension.json file

[mediawiki.git] / includes / exception / TimestampException.php

<?php

/**
 * @since 1.20
 */
class TimestampException extends MWException {
}