doc: Fix errored variadic symbol on mediawiki.action.edit addButtons

Change-Id: I03734a117eaad7a0a7ab5860885d3bbfb950821d