PHP File Manager

PHP Console


Output:


                            

        



    

        
    


    

        
    


    

        
        
    




        
        

            
Current Directory:  / home / borhangf / drkia.borhangfx.net / vendor / phpspec / prophecy / src / Prophecy / Doubler

            

                
                                    Go to Root
                            

        


        
        

    

        Filename
        Action
    

                        

                
                    [ClassPatch]                
                
                    
                                            
                        
                                    
            

                                

                
                    [Generator]                
                
                    
                                            
                        
                                    
            

                                

                
                    CachedDoubler.php                
                
                    
                                            
                        
                        
                        
                                    
            

                                

                
                    DoubleInterface.php                
                
                    
                                            
                        
                        
                        
                                    
            

                                

                
                    Doubler.php                
                
                    
                                            
                        
                        
                        
                                    
            

                                

                
                    LazyDouble.php                
                
                    
                                            
                        
                        
                        
                                    
            

                                

                
                    NameGenerator.php