ezsystems/ezpublish-community — pull request #160 by crevillo (2014-05-28 15:09:46+00:00)
Title: Removed index_dev.php as is not needed anymore

As said in 1to1 with Bertrand, index_dev.php is not needed anymore and so this file can be deleted.

Let me know if you want a jira issue for this.