diff options
| author | vlakoff <vlakoff@gmail.com> | 2012-06-16 14:21:32 +0200 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2012-06-16 14:21:32 +0200 |
| commit | ff3f7dea40e8fae81dd586b340d30d24154cf5ab (patch) | |
| tree | bae494c2a27e11eb8a9336c6882b84de86ce6dcc /user_guide_src/source/_themes | |
| parent | f512b73bc78760198a5409f2c4da71fe749b1301 (diff) | |
Documentation: remaining PHP "var" declarations changed to "public"
Since PHP 4 isn't supported anymore, let's clean up these few
PHP "var" declarations which were remaining in the documentation.
According to my checks, there is no more PHP "var" left.
Diffstat (limited to 'user_guide_src/source/_themes')
0 files changed, 0 insertions, 0 deletions