Remove unmatched @param
authorumherirrender <umherirrender_de.wp@web.de>
Sat, 16 Aug 2014 18:49:41 +0000 (20:49 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Sat, 16 Aug 2014 20:50:02 +0000 (22:50 +0200)
commitb1e5d329081102bf8c187690d99c6ee3e519ef08
tree35e290e7c1256f6f873a51fa3538795c573ae154
parenta8b5e408bf8df6a02d18c70ad22ec14f2333abd4
Remove unmatched @param

There is no method parameter for this @param

Change-Id: I42d1e3439e5b767be09920d536bee34bcd017ec9
includes/MWTimestamp.php
includes/filerepo/RepoGroup.php
includes/jobqueue/jobs/DoubleRedirectJob.php