Posts tagged: mediawiki

Parsing PHP in Python

Today I found a legitimate use for https://github.com/danielquinn/python-phpPython's default ConfigParser requires each ini file to have a [section]. PHP doesn't, so to read a PHP-formatted INI file in Python requires some kind of custom parser (maybe it would be possible to extend ConfigParser?), where the python-php project came in handy.…

New tool: Wikimedia APT browser

I've created a new tool to make it easier for humans to browse Wikimedia's APT repository: apt.wikimedia.org. Wikimedia's servers run Debian (Ubuntu is nearly phased out), and for the most part use the standard packages that Debian provides. But in some cases we use software that isn't in the official…

Last Jenkins run dashboard

New dashboard shows the last jenkins run for a MediaWiki extension/skin: https://tools.wmflabs.org/ci/last_run.htmlI mostly made this to be able to find extensions that fail PHP 7.0 tests while it's still non-voting, and to find gaps in coverage (there's one Wikimedia-deployed extension with no voting tests :().One day I need to unify…

MassMessage hits 1,000 commits

The MassMessage MediaWiki extension hit 1,000 commits today, following an update of the localization messages for the Russian language. MassMessage replaced a Toolserver bot that allowed sending a message to all Wikimedia wikis, by integrating it into MediaWiki and using the job queue. We also added some nice features like…

Wikimedia Hackathon at home project

This is the second year I haven't been able to attend the Wikimedia Hackathon due to conflicts with my school schedule (I finish at the end of June). So instead I decided I would try and accomplish a large-ish project that same weekend, but at home. I'm probably more likely…