Wikimedia Bugzilla is closed!

I lack credentials to commit to this directory. Patch follows:


--- ExtensionDistributor_body.php       (revision 58553)           
+++ ExtensionDistributor_body.php       (working copy)             
@@ -118,7 +118,7 @@                                                
                                'action' => $this->getTitle()->getLocalUrl(),
                                'method' => 'POST' ) ) .
                        "<select name=\"extdist_extension\">\n" .
-                       "<option value=''></option\n"
+                       "<option value=''></option>\n"
                );

                foreach ( $extensions['trunk'] as $extension ) {