## Mediawiki policy
#######################################
##
## Allow the specified domain to read
## mediawiki tmp files.
##
##
##
## Domain allowed access.
##
##
#
interface(`mediawiki_read_tmp_files',`
gen_require(`
type mediawiki_tmp_t;
')
files_search_tmp($1)
read_files_pattern($1, mediawiki_tmp_t, mediawiki_tmp_t)
read_lnk_files_pattern($1, mediawiki_tmp_t, mediawiki_tmp_t)
')
#######################################
##
## Delete mediawiki tmp files.
##
##
##
## Domain allowed access.
##
##
#
interface(`mediawiki_delete_tmp_files',`
gen_require(`
type mediawiki_tmp_t;
')
delete_files_pattern($1, mediawiki_tmp_t, mediawiki_tmp_t)
')