style: indent tweaks to Title.php
authorAntoine Musso <hashar@free.fr>
Tue, 19 Feb 2013 21:51:31 +0000 (22:51 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Feb 2013 15:43:25 +0000 (15:43 +0000)
commitc5d757b97a571560182ad8e61c4d11c5bd6b74ff
tree93e40c6ab53c299fcba0c1672197f82f148b674c
parentc48323708b47ae0acaf28f683424084350d9c179
style: indent tweaks to Title.php

Title.php had some indentation oddities with mixed tabs and spaces. This
patch tweak the whitespaces and sometime explode boolean logics to have
a more consistent style.

Change-Id: I891c112236a021d9b4e38eb57eeb3b232172139c
includes/Title.php