streams/doc/html/language_8php.js

var language_8php =
[
    [ "detect_language", "language_8php.html#a2b07ec591277aaae57e4d03a12c929b7", null ],
    [ "get_best_language", "language_8php.html#afc07168c25fb662579a52923daa10ee1", null ],
    [ "pop_lang", "language_8php.html#a78bd204955ec4cc3a9ac651285a1689d", null ],
    [ "push_lang", "language_8php.html#ac9142ef1d01a235c760deb0f16643f5a", null ]
];