For [2615112], add a hook for portal vault levels to override the

default extension (ptl) for ghost filenames. This currently has no effect, as I don't know how to hook in Lua code; can someone who knows this better put in code to allow .des files to override this extension? [The idea is to give "suffix" a good value in _make_ghost_filename().]

git-svn-id: https://crawl-ref.svn.sourceforge.net/svnroot/crawl-ref/trunk@9135 c06c8d41-db1a-0410-9941-cceddc491573

Created by  haranp  on February 19, 2009
CCBZCRRBI5MJA7BXOMCIDO7B7OCXWEWYLEG3IE4XFZGLEF36OMYQC
Change contents