Switch file names from jade to pug.

2025-06-08 02:24:39 -04:00 · 2016-06-04 02:43:48 +02:00 · 2016-06-04 02:43:48 +02:00 · f0a9937dc6
commit f0a9937dc6
parent 3a2e61b163
8 changed files with 57 additions and 7 deletions
--- a/src/_h5ai/private/php/pages/index.php.jade
+++ b/src/_h5ai/private/php/pages/index.php.jade
@ -1,4 +1,4 @@
-extends ./page.tpl.jade
+extends ./page.tpl.pug

 block init
    - var title = 'index - powered by h5ai v' + pkg.version + ' (' + pkg.homepage + ')'
--- a/src/_h5ai/private/php/pages/info.php.jade
+++ b/src/_h5ai/private/php/pages/info.php.jade
@ -1,4 +1,4 @@
-extends ./page.tpl.jade
+extends ./page.tpl.pug

 block init
    - var title = 'h5ai info page - v' + pkg.version
--- a/src/_h5ai/private/php/pages/page.tpl.jade
+++ b/src/_h5ai/private/php/pages/page.tpl.jade