| Package home | Report new bug | New search | Development Roadmap | Status: Open | Feedback | All | Closed Since Version 0.1.15 |
| Bug #13861 | indentation in /**/ dropped | ||
|---|---|---|---|
| Submitted: | 2008-05-09 04:51 UTC | ||
| From: | terrafrost | Assigned: | jespino |
| Status: | Closed | Package: | PHP_Beautifier |
| PHP Version: | Irrelevant | OS: | |
| Roadmaps: | 1.0.0RC1 | ||
[2008-05-09 04:51 UTC] terrafrost
(Jim Wigginton)
Description:
------------
Tested with the Pear filter, although it probably occurs with others, as well.
Test script:
---------------
<?php
/*
<?php
class test
{
function test()
{
switch (true) {
default:
}
}
}
*/
?>
Expected result:
----------------
<?php
/*
<?php
class test
{
function test()
{
switch (true) {
default:
}
}
}
*/
?>
Actual result:
--------------
<?php
/*
<?php
class test
{
function test()
{
switch (true) {
default:
}
}
}
*/
?>
Comments
[2008-06-21 21:31 UTC] clbustos
(Claudio Bustos)
Mhhh.... This is a "feature", but maybe a more inteligent aproach is calculate the original indent of every line on the original comment and add or delete spaces, according to actual indent.
[2010-05-31 21:49 UTC] jespino
(Jesús Espino)
-Status: Assigned
+Status: Closed
This bug has been fixed in SVN.
If this was a documentation problem, the fix will appear on pear.php.net by the end of next Sunday (CET).
If this was a problem with the pear.php.net website, the change should be live shortly.
Otherwise, the fix will appear in the package's next release.
Thank you for the report and for helping us make PEAR better.
Now the indentation of the comments no change.