Thread:Support/Toolserver Tools in svn

Maybe I am asking at the wrong place.

Why is the ToolserverTools directory in svn.wikimedia.org under /trunc/extensions/ ?

Usually, this is a directory where real and complete MediaWiki extensions are kept, unlike ToolserverTools, which is a directory of directories of i18 files only.

Naïvely, I would expect, the ToolsverTools directory to be elsewhere, and preferrably unter /trunc/ on the same level as the extensions directory.

Greetings -- Purodha Blissenbach 00:34, 2 February 2011 (UTC)