Translations:Manual:Coding conventions/PHP/341/en

If you want keys to be renumbered, use :