Merge "Correct variable types in phpdoc"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Aug 2014 12:37:50 +0000 (12:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Aug 2014 12:37:50 +0000 (12:37 +0000)
commit9f326f5dcd3e35c0baf2981fa0f2bb7177cbdaa9
treec4c14a6daaefcc039c544ab84308f6d14e16c1e7
parent510da8d776bdff27612d09de2faffe887ac2914f
parent8db655e94b9c8ab54ac910ee0a3faf153c259b4e
Merge "Correct variable types in phpdoc"