Implement extension registration from an extension.json file

[mediawiki.git] / resources / src / mediawiki.special / mediawiki.special.version.css

/*!
 * Styling for Special:Version
 */
.mw-version-ext-name {
        font-weight: bold;
}

.mw-version-ext-vcs-timestamp {
        white-space: nowrap;
}

th.mw-version-ext-col-label {
        font-size: 0.9em;
}

.mw-version-ext-vcs-version {
        unicode-bidi: embed;
}