Updated mediawiki/extensions Project: mediawiki/extensions/Translate…

Authored by siebrand.


Updated mediawiki/extensions Project: mediawiki/extensions/Translate 5f8b38fc9b99b721e3e915c277a896fa9d6e6951

Remove unused return values

There is no return value specified in the documentation, the push action
returns void, which makes the return values inconsistent in any case. I
checked callers, and none appear to do anything with the return value of
this method.

Change-Id: I660a5673037fd39b5c34633ee96daa5e1b70fe7c

Event Timeline