Use extension package name rather than display name for the media dir.

Review Request #4461 — Created Aug. 15, 2013 and submitted — Latest diff uploaded

Information

Djblets
master

Reviewers

Use extension package name rather than display name for the media dir.

Extensions have two different "Name" fields--one of which comes from the
packaging, and is often short and ugly, and one of which is defined in the
extension metadata dictionary, and is meant for display to the user. Since the
introduction of the metadata overrides, we were using the latter for the name
of the media dir, when we wanted to be using the former.
Enabled an extension in reviewboard with an overridden "Name" field and saw
that the media directory in htdocs/media/ext was created using the package
name.