Board Thread:Support Requests - Designing Your Wiki/@comment-160529-20121217150411/@comment-4705324-20121217164230

I can't be sure whether you'd have to change it, although it wouldn't be of any help when the issue is fixed - it would become a bit of redundant coding I guess. So, when the issue is fixed, it would probably be best to remove it.