diff options
Diffstat (limited to 'doc/old/html/php2po_8php.js')
| -rw-r--r-- | doc/old/html/php2po_8php.js | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/old/html/php2po_8php.js b/doc/old/html/php2po_8php.js new file mode 100644 index 000000000..679a631af --- /dev/null +++ b/doc/old/html/php2po_8php.js @@ -0,0 +1,11 @@ +var php2po_8php = +[ + [ "$infile", "php2po_8php.html#a61f8ddeb5557d46ebc546cc355bda214", null ], + [ "$ink", "php2po_8php.html#a6b0b8ebd9ce811d1325ef2c129443bc0", null ], + [ "$k", "php2po_8php.html#ad6726cfaa85d4b8299d2b0f034cbf178", null ], + [ "$out", "php2po_8php.html#a48cb304902320d173a4eaa41543327b9", null ], + [ "$phpfile", "php2po_8php.html#abbb0e5fd8fbc1f13a9bf68f86eb3d2a4", null ], + [ "$pofile", "php2po_8php.html#a401d84ce156e49e8168bd0c4781e1be1", null ], + [ "if", "php2po_8php.html#a45b05625748f412ec97afcd61cf7980b", null ], + [ "n", "php2po_8php.html#a1594a11499d06cc8a789ee7ca0c7a12b", null ] +];
\ No newline at end of file |