diff options
| author | Michal Čihař <mcihar@suse.cz> | 2011-08-05 16:49:23 +0400 |
|---|---|---|
| committer | Michal Čihař <mcihar@suse.cz> | 2011-08-05 16:49:23 +0400 |
| commit | 1ec0b69e6bf3378188a051b45fb2c0e7ea93b990 (patch) | |
| tree | 1bf578071b04275411cdb69c64ce0e54ce10391d /pmd_save_pos.php | |
| parent | 6205d419b68d57105d985a4a5335498337f6ccf4 (diff) | |
Coding style, function definitions
Diffstat (limited to 'pmd_save_pos.php')
| -rw-r--r-- | pmd_save_pos.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pmd_save_pos.php b/pmd_save_pos.php index b95b20f4d3..c487ddb1ce 100644 --- a/pmd_save_pos.php +++ b/pmd_save_pos.php @@ -36,7 +36,8 @@ foreach ($t_x as $key => $value) { } //---------------------------------------------------------------------------- -function PMD_err_sav() { +function PMD_err_sav() +{ global $die_save_pos; // if this file included if (! empty($die_save_pos)) { header("Content-Type: text/xml; charset=utf-8"); |