renamed "melody-timeout" option to "melody_timeout"

for consistency with "ip_whitelist"

Author: staabm

config.php.dist

@@ -14,5 +14,5 @@ return array(
     'bootstrap' => null,
 
     // maximun execution time for melody scripts
-    'melody-timeout' => 600,    
+    'melody_timeout' => 600,    
 );

index.php

@@ -14,7 +14,7 @@
     'bootstrap' => null,
 
     // maximun execution time for melody scripts
-    'melody-timeout' => 60,
+    'melody_timeout' => 60,
 );
 
 if (file_exists(__DIR__.'/config.php')) {
@@ -91,7 +91,7 @@ function runCode($__source_code, $__bootstrap_file)
     $start = microtime(true);
 
     $melodyPlugin = new MelodyPlugin();
-    $melodyPlugin->setTimeout($options['melody-timeout']);
+    $melodyPlugin->setTimeout($options['melody_timeout']);
     if ($melodyPlugin->isMelodyScript($code)) {
         if ($melodyPlugin->isScriptingSupported()) {
             // make sure krumo class is available in the melody script