1
0
Fork 0

Updating ConfigCommand so that we can set github-domains from the command line.

pull/2375/head
Gennady Feldman 2013-10-28 12:23:06 -04:00
parent 7148b22414
commit f8376a5b34
1 changed files with 12 additions and 0 deletions

View File

@ -308,6 +308,18 @@ EOT
return $vals; return $vals;
} }
), ),
'github-domains' => array(
function ($vals) {
if (!is_array($vals)) {
return 'array expected';
}
return true;
},
function ($vals) {
return $vals;
}
),
); );
foreach ($uniqueConfigValues as $name => $callbacks) { foreach ($uniqueConfigValues as $name => $callbacks) {