Fix declaration of ForeignDBFile::delete()
authorumherirrender <umherirrender_de.wp@web.de>
Wed, 7 May 2014 17:42:35 +0000 (19:42 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Thu, 8 May 2014 05:01:14 +0000 (05:01 +0000)
commit969349e945062d2bed1f302daea5a01436237825
tree145873d0797943e8219bfabf4d37a4c62ccea15f
parente404c01589ee4c78f29998e7b72327a0c54421b0
Fix declaration of ForeignDBFile::delete()

Strict Standards: Declaration of ForeignDBFile::delete() should be
compatible with that of LocalFile::delete()

Followed-Up: I60cab27e0708a818c77791cc89194b6dd726da0b
Change-Id: I11d32c0a529ec76978cde38c038b4984ca13e8ba
includes/filerepo/file/File.php
includes/filerepo/file/ForeignDBFile.php