13 lines
186 B
PHP
13 lines
186 B
PHP
<?php
|
|
|
|
final class Utils
|
|
{
|
|
|
|
public static function getOrDie($DICT, $key)
|
|
{
|
|
if (isset($DICT[$key])) return $DICT[$key];
|
|
else die("Key $key not present");
|
|
}
|
|
|
|
}
|