var user__agents_8php =
[
    [ "$browsers", "user__agents_8php.html#a81edf933083b5ac5b380385f59074a7d", null ],
    [ "$mobiles", "user__agents_8php.html#a6928dde5aa0be443766d5b2376de908a", null ],
    [ "$platforms", "user__agents_8php.html#a1c1a0a860242698ee6b3f4ef7d6eb343", null ],
    [ "$robots", "user__agents_8php.html#a5752e2a66d1c03bc34666492746037ab", null ]
];