diff options
Diffstat (limited to 'doc/html/language_8php.js')
| -rw-r--r-- | doc/html/language_8php.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/html/language_8php.js b/doc/html/language_8php.js new file mode 100644 index 000000000..9fa010e60 --- /dev/null +++ b/doc/html/language_8php.js @@ -0,0 +1,7 @@ +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 ] +];
\ No newline at end of file |