glensc/dokuwiki-plugin-pageredirect — pull request #15 by cinlloc (2014-09-11 15:08:48+00:00)
Title: Display pagename if heading is undefined

If useHeading option is set, and if heading of redirected page is
empty, displays __pagename__ instead of __heading__ in note.
* Suggested in issue #9
* It will fix issues #9 and #13.