1<?php
2// description of the plugin settings
3$lang['page_files'] = 'Comma-separated list of entries.<br>Each entry maps a page to target files.<br>Format: <code>pageid=regex</code>';
4