K 10 svn:author V 4 miwi K 8 svn:date V 27 2009-08-18T22:54:38.000000Z K 7 svn:log V 143 - Rename mediawiki12 to mediawiki112 (to follow the version number) PR: 137910 Submitted by: Gerrit Beine (maintainer) END