/**
 * Provided by VisualEditorDataModule.php for the MediaWiki environment.
 *
 * @class ve.version
 * @singleton
 */

/**
 * @property {string|boolean} [id=false] Git commit hash (abbreviated to 7 characters)
 */

/**
 * @property {string|boolean} [url=false] URL to git commit viewer for #id
 */

/**
 * @property {number|boolean} [timestamp=false] Commit date (UNIX timestamp)
 */

/**
 * @property {string} [dateString=""] Formatted date or empty string
 */

/**
 * @class mw.Title
 * @source <https://doc.wikimedia.org/mediawiki-core/master/js/#!/api/mw.Title>
 */