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$lang['export_ns'] = 'Export namespace "%s:" to file %s.pdf'; 9