<?php $labels = array(); $labels['help'] = 'Help'; $labels['about'] = 'About'; $labels['license'] = 'License'; ?>