summaryrefslogtreecommitdiff
path: root/extension.json
AgeCommit message (Expand)Author
2022-10-14change url in extension.json to mediawiki.org pageHEADmasterMartin Fischer
2022-10-13fix: also load resource modules when using MobileFrontendMartin Fischer
2022-10-08add workaround to expand signatures within <vote>Martin Fischer
2022-10-08gray out superseded votesMartin Fischer
2022-10-04initial commitMartin Fischer