1<?php
2
3$lang['export_pdf_button'] = "Export to PDF";
4$lang['needtitle'] = "Please provide a title.";
5$lang['needns'] = "Please provide an existing namespace.";
6$lang['empty'] = "You don't have pages selected yet.";
7$lang['tocheader'] = "Table of Contents";
8