"GWicke" changed the status of MediaWiki.r106467 to "deferred" URL: http://www.mediawiki.org/wiki/Special:Code/MediaWiki/106467
Old status: new > New status: deferred Commit summary for MediaWiki.r106467: Rename table_header production to table_heading. Those non-natives strike again. _______________________________________________ MediaWiki-CodeReview mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-codereview
