var db__update_8php =
[
    [ "$a", "db__update_8php.html#acebf83966ef6d7e5645a6b62ba368f9f", null ],
    [ "$build", "db__update_8php.html#a502b15db084ae270b52e03c8075916de", null ],
    [ "$db", "db__update_8php.html#a1fa3127fc82f96b1436d871ef02be319", null ],
    [ "$lang", "db__update_8php.html#a7714b111b644017933931ec69a154102", null ]
];