Add some padding to iframe footer

Thomas Bruederli

2012-05-31 a15c0aa218fabd2de93e962dc7c697c4bf7ce72f

1
2
3
4
5
6
7
 
clean:
    rm -f *.log *.php *.diff *.exp *.out
 
 
test:
    pear run-tests *.phpt