"GWicke" changed the status of MediaWiki.r111836 to "ok" URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/111836
Old status: new New status: ok Commit summary for MediaWiki.r111836: * Locally apply the HTML5.Marker.type patch. This is needed until https://github.com/aredridel/html5/issues/44 is merged into the upstream "html5" module. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
