2013-09-18 01:40:00 +00:00
|
|
|
/**
|
|
|
|
* 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
|
|
|
|
*/
|
2014-10-28 22:44:54 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @class mw.Title
|
|
|
|
* @source <https://doc.wikimedia.org/mediawiki-core/master/js/#!/api/mw.Title>
|
|
|
|
*/
|
2015-05-25 13:51:13 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* @class mw.widgets.TitleInputWidget
|
|
|
|
* @source <https://doc.wikimedia.org/mediawiki-core/master/js/#!/api/mw.widgets.TitleInputWidget>
|
|
|
|
*/
|