User:RobLa

See w:User:RobLa or check out my homepage on robla.net.

Work on MediaWiki:


 * Extensionless files patch - A patch which lifts the requirement that the page title have a file extension appropriate for the MIME type. This patch addresses 4421.
 * Electowidget - MediaWiki extension for displaying election results from complicated election methods.
 * AuthPress - extension which allowed MediaWiki installs to authenticate against a Wordpress database. I doubt this works anymore.
 * EditOversight extension - defunct work done on behalf of ManyOne (also defunct)