Better PHP doc for plugin filter