Simple Github repo for homeless Mediawiki extension Progressbar