Implement extension registration from an extension.json file

[mediawiki.git] / resources / src / mediawiki.action / mediawiki.action.history.css

#pagehistory li.before input[name="oldid"],
#pagehistory li.after input[name="diff"] {
        visibility: hidden;
}