Use file_get_contents() to make code simpler and to fix possible infinite loop

Aleksander Machniak

2012-07-10 2b21b97ef0b13c958ed53c7adf10f02f6c4c434f

1
2
3
4
5
6
7
8
<?php
 
$labels = array();
$labels['buttontext'] = 'Junk';
$labels['buttontitle'] = 'Mark as Junk';
$labels['reportedasjunk'] = 'Successfully reported as Junk';
 
?>