#microformats 2020-08-08

2020-08-08 UTC

aaronpk yeah it's all php and css, it'll require running a copy of mediawiki somewhere and installing the theme and figuring out what theme hooks changed between 1.13.2 and 1.34.1