Posts tagged: toolforge

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…

Requiring HTTPS for my Toolforge tools

My Toolforge (formerly "Tool Labs") tools will now start requiring HTTPS, and redirecting any HTTP traffic. It's a little bit of common code for each tool, so I put it in a shared "toolforge" library. from flask import Flask import toolforge app = Flask(__name__) app.before_request(toolforge.redirect_to_https) And that's it! Your tool…