Rename DBIDummy file.

Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>
phpmyadmin · Sep 2, 2015 · 6f9fdf1 · 6f9fdf1
1 parent 49e9dd1
commit 6f9fdf1
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/libraries/dbi/DBIDummy.php.php → libraries/dbi/DBIDummy.php b/libraries/dbi/DBIDummy.php.php → libraries/dbi/DBIDummy.php