[Console] added some missing information in the phpdoc (closes #6464)
merged branch fabpot/phpdoc-fix (PR #6869)

This PR was merged into the master branch.

Commits
-------

e3086cc [Console] added some missing information in the phpdoc (closes #6464)

Discussion
----------

[Console] added some missing information in the phpdoc (closes #6464)

| Q             | A
| ------------- | ---
| Bug fix?      | no
| New feature?  | no
| BC breaks?    | no
| Deprecations? | no
| Tests pass?   | yes
| Fixed tickets | #6464
| License       | MIT
| Doc PR        | n/a
css fix
merged branch vicb/exc/overflow (PR #6877)

This PR was merged into the master branch.

Commits
-------

189a05e css fix

Discussion
----------

css fix

before

![ov](https://f.cloud.github.com/assets/248818/97566/72a11c18-66fe-11e2-80b1-f434a5216a66.jpg)

after

![nov](https://f.cloud.github.com/assets/248818/97563/41ace560-66fe-11e2-988e-fcdb931d88d7.jpg)

---------------------------------------------------------------------------

by WouterJ at 2013-01-25T15:19:13Z

:+1: