1<?php 2/** 3 * english language file 4 */ 5 6$lang['imgshort'] = 'Fig.'; 7$lang['tabshort'] = 'Tab.'; 8$lang['ggbshort'] = 'GeoGebra'; 9$lang['imgfull'] = 'figure'; 10$lang['tabfull'] = 'table'; 11$lang['ggbfull'] = 'GeoGebra applet'; 12