diff options
author | umherirrender <umherirrender_de.wp@web.de> | 2014-04-14 21:43:18 +0200 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2014-04-14 19:52:18 +0000 |
commit | 9c614ac02d884abc110146d520cc842998d85e6a (patch) | |
tree | b18868a0d9ab7363ca82f13cfb8d3cd75dd0bc00 /includes/PathRouter.php | |
parent | 8f2ebcbf6769451c51e4c6a8dc138d619ba8d6aa (diff) | |
download | mediawikicore-9c614ac02d884abc110146d520cc842998d85e6a.tar.gz mediawikicore-9c614ac02d884abc110146d520cc842998d85e6a.zip |
Fixed some @params documentation
Swapped some "$var type" to "type $var" or added missing types
before the $var. Changed some other types to match the more common
spelling. Makes beginning of some text in captial.
Change-Id: I8c9f30128b46086064326708a4878228ba459447
Diffstat (limited to 'includes/PathRouter.php')
0 files changed, 0 insertions, 0 deletions