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

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

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.
reviewbot
  1. This is a review from Review Bot.
      Tool: PEP8 Style Checker
      Processed Files:
        djblets/extensions/base.py
      Ignored Files:
    
    
  2. 
      
reviewbot
  1. This is a review from Review Bot.
      Tool: Pyflakes
      Processed Files:
        djblets/extensions/base.py
      Ignored Files:
    
    
  2. 
      
chipx86
  1. Ship It!
  2. 
      
david
Review request changed
Status:
Completed
Change Summary:
Pushed to master (1dd60d1).