r3717 renderIndex(): use external index layout, which the user can override
authorDenis Ovsienko <infrastation@yandex.ru>
Mon, 31 May 2010 22:27:46 +0000 (22:27 +0000)
committerDenis Ovsienko <infrastation@yandex.ru>
Mon, 31 May 2010 22:27:46 +0000 (22:27 +0000)
commit67c5c049eeab7da44073563a6c3797e9ff5f10f0
tree1778a52ee42e25c235bfc4c48e233863caf72d51
parentecf8c98694b01772cb1a790d117257e83ea7caf2
r3717 renderIndex(): use external index layout, which the user can override
inc/interface.php
inc/navigation.php