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…

2018 Wikimedia Developer Summit position paper

We have well established that volunteers are the lifeblood of the Wikimedia movement. We prioritize their contributions and work to ensure they are given the tools they need to succeed. But in the Wikimedia development community, we’ve neglected volunteers instead of nurturing them – and this is a serious problem…

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…