What encoding is this?

[Moggy]

?><div class="art-Footer">
    <div class="art-Footer-inner">
                <div class="art-Footer-text">
<p>
<?php 
 global $default_footer_content;
 $footer_content = get_option('art_footer_content');
 if ($footer_content === false) $footer_content = $default_footer_content;
 echo $footer_content;
?>
</p>
</div>
    </div>
    <div class="art-Footer-background">
    </div>
</div>

    </div>
</div>
<div class="cleared"></div>
<p class="art-page-footer">Design: <a href="http://pingler.com" alt="Ping by Pingler">Ping</a> by Pingler and coding: <a href="http://www.francehousehunt.com">French Property</a>, <a href="http://www.topwebhostreview.net/" title="Top Web Host Review">Best Web Hosting</a>, <a href="ttp://www.thehotelpictures.com/">Hotel Pictures</a>.</p>
</div>

<!-- <?php printf(__('%d queries. %s seconds.', 'kubrick'), get_num_queries(), timer_stop(0, 3)); ?> -->
<div><?php wp_footer(); ?></div>
</body>
</html><?

Moggy Reviewed by Moggy on 8th Jun 2012. What encoding is this? Hey, The theme I have on my website is encoded and haven't seen it before. Wondering what type of encoding this is? & if you like, decode it for me please :p. <?php // Rating: 5

[AppDeveloper]

nice work!