diff --git a/mozilla/webtools/addons/public/inc/init.php b/mozilla/webtools/addons/public/inc/init.php index 239c5c8e58f..e0031c34649 100644 --- a/mozilla/webtools/addons/public/inc/init.php +++ b/mozilla/webtools/addons/public/inc/init.php @@ -164,6 +164,7 @@ function setApp() // Determine our application. switch( $_GET['app'] ) { + case 'seamonkey': case 'mozilla': $clean['app'] = 'Mozilla'; break;