Translate ID of sections.
Support disjunction of realdoms when hinting.
[auto] Merge from Realdom

    • #23ed264 — Support disjunction of realdoms when hinting. (Ivan Enderlin, 2014-03-21)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Realdom
Format code. #mania
[auto] Merge from Praspel

    • #7cab3a4 — Format code. #mania (Ivan Enderlin, 2014-03-24)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Praspel
Hint the parameter of the regex realdom.
Add the `hoa realdom:reflection` command.

Example:

    $ hoa realdom:reflection string
    Realdom [Hoa\Realdom\String] string {
        [#0 required] Constinteger|Conststring codepointMin = 32;
        [#1 required] Constinteger|Conststring codepointMax = 126;
        [#2 optional] Integer                  length;
    }
[auto] Merge from Realdom

    • #436ca7a — Hint the parameter of the regex realdom. (Ivan Enderlin, 2014-03-24)
    • #4f5fca0 — Add the `hoa realdom:reflection` command. (Ivan Enderlin, 2014-03-24)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Realdom
Format code. #mania
[auto] Merge from Realdom

    • #e8ef9ed — Format code. #mania (Ivan Enderlin, 2014-03-24)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Realdom
Support variadic realdoms.
[auto] Merge from Realdom

    • #b1b93e3 — Support variadic realdoms. (Ivan Enderlin, 2014-03-25)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Realdom
Output default value in PHP format.
[auto] Merge from Realdom

    • #e3081fc — Output default value in PHP format. (Ivan Enderlin, 2014-03-25)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Realdom
The `.` literal is evaluated as `\w`.
[auto] Merge from Regex

    • #a6956c9 — The `.` literal is evaluated as `\w`. (Ivan Enderlin, 2014-03-25)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Regex
Use the rule-coverage sampler for grammar().
[auto] Merge from Realdom

    • #ecbd499 — Use the rule-coverage sampler for grammar(). (Ivan Enderlin, 2014-03-25)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Realdom
Fix the “optional”/“required” label.
Clean.