diff options
author | umherirrender <umherirrender_de.wp@web.de> | 2013-03-07 17:50:43 +0100 |
---|---|---|
committer | umherirrender <umherirrender_de.wp@web.de> | 2013-03-07 17:53:21 +0100 |
commit | d63121016d894e3fccf3308a26704472e69ec08f (patch) | |
tree | 5df4e57888ca200dc5b13059e6c10ae10394a9b8 /includes/parser/Preprocessor.php | |
parent | 1950c39012d4e02eb377bf963b8e2ced517734f3 (diff) | |
download | mediawikicore-d63121016d894e3fccf3308a26704472e69ec08f.tar.gz mediawikicore-d63121016d894e3fccf3308a26704472e69ec08f.zip |
fix some spacing
Added/removed spaces around logical/arithmetic operator
Reduced multiple empty lines to one empty line
Removed wrong tabs before comments at end of line
Removed too many spaces in assigments
Change-Id: I2bba4e72f9b5f88c53324d7b70e6042f1aad8f6b
Diffstat (limited to 'includes/parser/Preprocessor.php')
-rw-r--r-- | includes/parser/Preprocessor.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/includes/parser/Preprocessor.php b/includes/parser/Preprocessor.php index 687dceb089e3..aeacd2e1084f 100644 --- a/includes/parser/Preprocessor.php +++ b/includes/parser/Preprocessor.php @@ -205,7 +205,6 @@ interface PPNode { */ function getChildrenOfType( $type ); - /** * Returns the length of the array, or false if this is not an array-type node */ |